Initial settings for Travis-ci