see http://blog.travis-ci.com/2013-05-20-network-timeouts-build-retries/