有没有可以批量压缩多个文件夹内图片大小的软件呢？服务器上的图片很多，而且有点大啊