Update configuration for travis-ci.