HTML Formatter updated

The HTML Formatter has been completely rewritten, version 0.2.0 is now available (and used by this site to display comments and news blurbs). It is far from being finished, but there should be only minor API changes from now on. Documentation to follow.