Added some scripts to produce TeX snippets used in the case study paper.