Reformat travis file