Regenerated readme.html from readme.md

The HTML version of the readme was seriously lagging behind the Markdown version. This commit brings both back in sync.

To generate the HTML version, I took the Markdown version, which I added to the webapp of https://stackedit.io/

Next, I exported the stackedit-generated page as HTML, using their "Stylized HTML with TOC" template.

I've only changed the HTML title in the generated file.

Author: guusdk