jenkins-run: retry on connection time out.