Updated Travis CI configuration file.