Log Message:
update to 1.0.2.11, ok'ed by jmmv@

Lots of fixes/changes.

 The main improvements with respect to TeXmacs-1.0.1 are:

* Improved user & developer support for plugins + documentation.
* Plugins for Graphviz, GNUplot, Eukeides.
* Improved converters for Html.
* Possibility to save and load as XML.
* Manual available in French, Italian, Portuguese and Spanish.
* Informative flags for otherwise invisible tags.
* Cleaner interface with Guile and module system.