Update configuration for Travis CI.