Add TestScript.hs, convenience functions for ghci

handCheck, handParse and handRender run the monadic computation of similar name.
handRun sequences them together.
blat prints the error or the LaTeX result.
emptyDoAll reads a single-line proof term from stdin, no in-line editing.
I recommend copying from an editor into ghci when using emptyDoAll