feat: context-menu actions for trace search#675

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

mhuisi:mhuisi/trace-search-context-menumhuisi/vscode-lean4:mhuisi/trace-search-context-menuCopy head branch name to clipboard