Improve the test output
Remove a redunant progress
Move the progress message for InputOutput test, more dots
Add a withTemporaryFile utility and use it in captureOutput
Change typechecking to use withTemporaryFile
Add withTemporaryFiles to Util
Change translate to check all files in one go, faster
Move replace into Util
#13, add a --quickcheck flag which runs QuickCheck on the hints
Common up bits from type checking and quick checking
Make the full test run --quickcheck as standard
More commonalities between quickcheck and typecheck
Common up more of type and quick check
Make the quickCheck test print out the message for each hint