Enhanced output
Fixed bug that limited search results. Timeout flag enforced.

Fixing the bug hits performance where integer theory is used.  Many more
expressions are added. However, more VC's are able to be proven.
Fixed bug that limited search results.  Enforcing timeout (default 2 seconds)

Reformatted.
Merge pull request #120 from mikekab/CongruenceClassPackageBranch

Fixed bug that limited search results.  Timeout flag enforced.
Heuristic added that greatly improves performance.

On the first pass through the theorems, only bound theorem expressions
that have at least one symbol in the goal (or a goal subexpression) are
inserted into the VC.

Also added a time to quit parameter to the applyTo method in the Theorem
class.
Removed java 8 dependencies.

Now compliant with java 7.
Merge pull request #121 from mikekab/TheoremBridging

Heuristic added that greatly improves performance.
Added prioritization module.

Improves performance by adding instantiated theorems in order of
relevance.
Improved heuristics.

Deeper proofs are now able to be completed; i.e.
Queue_Template.Selection_Sort_Realization.rb
Removed stray print
Merge pull request #123 from mikekab/TheoremBridging

Improved heuristics
work on global constraints
Current module scopes are now stored when visited, rather than obtained through complex logic
stores global requires clause when we encounter the module
global constraints are added as givens to each VC
Merge pull request #124 from yushan87/vcgen-globalconstraints

VCGenerator: Global Constraints
Grammar fixes to set construction
work in progress
Set Collection Exp done. Need to add its type in Populator
formatted some files