Update travis config according to its style guide