Use the new Travis CI infrastructure.