Cleaned-up Travis file