Configuration file for Travis CI