Use new Travis CI platform.