帮同学写的一个小工具，供其压缩特定格式的文件，并重命名。仅供参考。