Updates to Travis CI configuration.