求将大写文件名转换成小写的工具

[User <resation@yeah.net>]

　　如题，记得曾经见过这样的命令行小工具，现在一下子想不起来了。从
Windows 上复制了一大堆文件过来，好多大写字母，想一次性批量转化成小写。