Add --puretei option to facilitate debugging of TEI stylesheets