Add ability to create repo list from MRVA results#1403

charisk merged 2 commits intomaingithub/vscode-codeql:mainfrom

charisk/copy-repo-listsgithub/vscode-codeql:charisk/copy-repo-listsCopy head branch name to clipboard