pull out code for formulas, tokenize from open-logic.sty
add referencing code to text files
referenicing code inserted in all units
Merge branch 'master' of https://github.com/OpenLogicProject/OpenLogic