Added LaTeX source for the write-up. Added screen captures of various tests on grammars