A little tool for renaming a bunch of files at once