Hola todos :
Me parece que sé cómo lo hicieron. Ahora no recuerdo el nombre, pero hay un programa que convierte video a gif animado. Una vez que se tienen los cuadros en imagen, se los convierte a ASCII Art.
Luego solamente hay que hacer la animación reemplazando "texto" dentro del
pre Impresionante uso de CSS.
Otros enlaces -muy para empezar-
http://www.ascii-art.de/ascii/anim/ http://www.asciimation.co.nz/