Add alternative html2 and html3.2 fpis; add iso15445 doctypes