A small tool for bulk file renaming