add htmltotei script, and make html2tei code work with HTML not in XHTML namespace as well