Convert ECHO to TEI

This script performs an XSL transformation from an ECHO XML
document to TEI. Obviously, only a small subset of TEI tags is
supported.