Use new TravisCI infrastructure