Documentation

* Moved XML and related scripts to dedicated area
* The .md files are turned into HTML for more accessible (I hope) viewing
* All release-critical document conversions are now in Python (it may be
  nice to convert mdpretty.sh too...)