Simple tool to rename many files at once.