travis file for travis-ci