TheoremSetTest

Testing get and put functionality given user-generated theorem names and
expressions
Merge branch 'master' of https://github.com/kathyyliang/CS61BL