Documentation changes

The documentation is now presented using Saxon-CE (XSLT 2.0 in the browser).

Information on Saxon extension functions has now been integrated into the chapter describing the function library.

The change history since version 7.0 has been integrated into the documentation and an interactive interface is provided to browse it.