config file for travis-ci