Parse HTML using a relaxed HTML 4.0 DTD.
Relax even more the DTD to accommodate Blogger posts

These posts put <font> inside <pre> which is normally forbidden.
Merge branch 'master' of https://github.com/ocaml/ocaml.org