configuration file for travis ci