changes, 1.9.2

new packages:
- RationalMaps, a package by Karl Schwede, Daniel Smolkin, S. Hamid Hassanzadeh, and C. J. Bott, for working with rational maps, has been added.
functionality added or improved:
- The generation of the documentation in HTML format has been improved, and validity is now verified overnight automatically.