image-shrink:基于 Python 的图片批量压缩工具