style: add separator between workspace and tool type in terminal tab title

Before: 'MyWorkspace code-server Session 1'
After:  'MyWorkspace · code-server Session 1'

Quality gates: tsc --noEmit pass, npm run build pass, 82/82 tests pass

apps/web/src/hooks/use-terminal-page.ts

@@ -100,7 +100,7 @@ export const useTerminalPage = () => {
 		}
 		const active = sessions.find((s) => s.id === activeSessionId);
 		const baseName = instanceInfo
-			? `${instanceInfo.workspace_name ?? instanceInfo.display_name} ${instanceInfo.tool_type_name}`
+			? `${instanceInfo.workspace_name ?? instanceInfo.display_name} · ${instanceInfo.tool_type_name}`
 			: `Instance ${instanceId.slice(0, 8)}`;
 		if (sessions.length <= 1) {
 			document.title = baseName;