Build improvements

The new dockerized build worker boots up faster and there's no reason not to use it since we don't need sudo.
Also --use-mirrors is deprecated. I replaced it with travis_retry which will retry executing a command on failure 3 times before failing.