A python script to batch rename for files.