scripts etc to build TEI P5 XML from TCP texts