Added initial version of html2tei.py