Travis file with good formatting