scripts to convert TCP sources from SGML to TEI P5