A set of tools to annotate TEI files using python