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

joneugster wants to merge 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

hhu-adam:clientsetup2hhu-adam/vscode-lean4:clientsetup2Copy head branch name to clipboard