jenkins-run: retry bootstrap on raw.githubusercontent.com timeouts.