Add `proxy_binary` input to `start-proxy` action#2871

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

mbg/start-proxy/proxy_binary-inputgithub/codeql-action:mbg/start-proxy/proxy_binary-inputCopy head branch name to clipboard