我要将从001，002，003，004.... 等一系列文件重新命名为001-002, 003-004, 有没有什么批处理命名的工具？