GIF圧縮

色数、縮尺、フレーム間引き、品質でGIFを小さくします。