Cleaned up Travis CI configuration.