Changed Travis CI configuration.