Revised Travis CI configuration file.