feat: collab support in vscode-workbench extension#14

Vtec234 merged 11 commits into

mainleanprover/lean-workbench:mainfrom

collab-saveleanprover/lean-workbench:collab-saveCopy head branch name to clipboard