configuration files for Travis