update Travis CI configuration.