A simple tool for mass-renaming files