use curl with retry option and prepend Travis-CI to curl's user-agent

- the user-agent helps us to distinguish automated
  downloads from real user downloads