Renames travis configuration file to have the proper extension.