Comprimir archivos animados GIF