Mostly formatting changes.
A few significant optimizations to the prover.
Merge pull request #41 from hamptonsmith/facilities2

A number of optimizations to the prover.