一个很小的文件批量重命名工具，很实用的。