Add support for selection-based result filtering in result viewer#4362

asgerf wants to merge 5 commits intogithub:maingithub/vscode-codeql:mainfrom

asgerf:asgerf/filter-results-to-selectionasgerf/vscode-codeql:asgerf/filter-results-to-selectionCopy head branch name to clipboard