A tool for renaming many files at once.