feat: client-side for trace search#658

mhuisi merged 3 commits intomasterleanprover/vscode-lean4:masterfrom

mhuisi/trace-searchleanprover/vscode-lean4:mhuisi/trace-searchCopy head branch name to clipboard