Iterate over files in folder for html2tei, minor changes in tei2txt