Reformat travis config