Log Message:
update to 1.3.0.9

- Tree call-backs at modifications in documents
- Path-aware trees
- Bug fixes w.r.t. previous version
- Better handling of parameters for page size and margins
- Implementation of ``mutators'', tags which may modify themselves
- Let computer algebra sessions make use of mutators
- All TeXmacs documents become part of one global super-document