Log Message:
Update to 1.0.0.9, requested by Julio Merino in pkg/17650.
Changes since 1.0.0.7:
* You may now make money donations to the TeXmacs project (1.0.0.9).
* Headers and footers through menus (1.0.0.9).
* Minor bug fixes (1.0.0.9).
* Reorganization of the online manual (1.0.0.9).
* Standard keyboard prefixes part of tmdoc style file (1.0.0.9).
* Some changes for compilation with g++ 3.1 (1.0.0.8).
* Implementation of arrows with limits above and below (1.0.0.8).