Configuration file for travis-ci