v2.0.0

This version uses an updated prover model based on WAM, the Warren Abstract Machine, and nominal changes to the SRW system.

The 2.0 prover is much faster and has a more sensical logic program plugin architecture.

The 2.0 SRW is no longer duplicated between Java collections and trove, but uses a unified graph storage system that is more compact than a pure-Java solution yet more readable than pure-trove.

2.0 runnables include Grounder, Trainer, QueryAnswerer, and GradientFinder.