Switch to new Travis CI infrastructure