A general purpose processing framework for corpora of TeX documents