Renames travis file