Install proxy cert on GitHub-hosted Ubuntu runners#3435

mbg wants to merge 2 commits intomaingithub/codeql-action:mainfrom

mbg/start-proxy/install-certgithub/codeql-action:mbg/start-proxy/install-certCopy head branch name to clipboard