Use doctypeExpectation=HTML if HTML5 schema chosen.

This change does causes "Obsolete doctype" warnings to be emitted
for documents with HTML4 or XHTML1 doctypes, if the user has
manually selected an HTML5 schema.