Config files for Travis-CI