A tool for renaming files in batches