Put all Travis settings in one file