Improved Travis CI configuration.