Renaming travis file to be the correct one