feat: use UDS instead of port for openvscode-server#18

Vtec234 merged 6 commits into

mainleanprover/lean-workbench:mainfrom

udsleanprover/lean-workbench:udsCopy head branch name to clipboard