feat: client-side for revamped server logging#681

mhuisi merged 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:mhuisi/better-server-loggingmhuisi/vscode-lean4:mhuisi/better-server-loggingCopy head branch name to clipboard