图片压缩工具有哪些？gif图片怎么在线压缩？