test: new test framework#778

mhuisi wants to merge 3 commits into

leanprover:masterleanprover/vscode-lean4:masterfrom

mhuisi:push-zlmkmrspytykmhuisi/vscode-lean4:push-zlmkmrspytykCopy head branch name to clipboard