feat: setup diagnostic for whether OS is unsupported#683

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

mhuisi:push-qolwoonwwllrmhuisi/vscode-lean4:push-qolwoonwwllrCopy head branch name to clipboard