travis-ci: Change the config to use the new Docker infrastructure