HTML Tidy: add a note about HTML Tidy for HTML5.

Some people seem to find it easier to look at the sources than read the wiki,
so mention HTML Tidy for HTML5 here, too. :)