Switch the sample manual text to html.

This way you can edit it properly with TinyMCE.  It used to be
structured text, which is not accepted as mimetext by default, so you
would actually lose the layout when you edit it.
Split docs/HISTORY.txt. Move changes since 4.0 to new CHANGES.rst.