Config file for Travis-CI