Basic infrastructure for using the HOL/TeX munger in place.
Merge pull request #5 from mn200/writing_the_ITP2014_paper

Basic infrastructure for using the HOL/TeX munger in place.