高品質の[[GIF]]エンコーダー。