Se ha hecho funcionar el Codemirror para el fichero index.html y el volcado de ficheros de la barra de navegación. Falta modificar el código js para que se parsee el contenido de
manera correcta.