Gerador de animações GIF a partir de gravações asciinema
