Added scratch directory utility code.
Added allLists, for generating all possible lists.
Added new test utility libraries
Finished tests for ProofRecorder