Configuration file for Travis CI.