command-line tool for renaming ordered sets of files