feat: [lean4web] abstract lean client setup for websocket clients#496

abentkamp wants to merge 2 commits intoleanprover:masterleanprover/vscode-lean4:masterfrom

hhu-adam:clientsetuphhu-adam/vscode-lean4:clientsetupCopy head branch name to clipboard