A simple file renamer in python.