Update TheoremSet.java

Basic file, haven't implemented integration with ProofChecker/InputSource (TODO tonight).

Accumulates facts from input file until file is exhausted, then Proof.facts = TheoremSet.facts.
Merge pull request #10 from chashemi/patch-8

CH: Update TheoremSet.java