Updated Travis CI configuration.