feat: client-side support for incremental diagnostics#752

mhuisi merged 3 commits intoleanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:push-lknxxwnmvutomhuisi/vscode-lean4:push-lknxxwnmvutoCopy head branch name to clipboard