GIF-progress: agregar una barra de progreso en la parte inferior de un GIF animado

Utilidad open source que toma un archivo GIF animado como entrada y lo convierte en un archivo GIF con una barra de progreso en la parte inferior. Permite ajustar el color y la altura.