Se ha actualizado el manual "Hacer un archivo AVI"

La actualización consiste en que se ha quitado lo referente a Dr. DivX que se descatalogó hace ya bastante tiempo, y se ha sustituido por la guía para usar el Dr. DivX 2, que es una aplicación en código abierto que va muy bien.