Cleaning up the travis config file a bit