Move withProgress and associated code to a separate file#2202

robertbrignull merged 3 commits intomaingithub/vscode-codeql:mainfrom

robertbrignull/extract_progressgithub/vscode-codeql:robertbrignull/extract_progressCopy head branch name to clipboard