Make travis a bit less verbose