Add preprocessing function for ASCII documents
Improve handling of quantifiers
Add modified pandoc executable for preprocessing