Updated the Travis CI configuration.