Merge pull request #48 from hamptonsmith/updates

Lots of changes + prover listeners now get called
moved web listener to CompileEnvironment
Merge pull request #49 from bdurkee/master

moved web listener to CompileEnvironment
Merge pull request #50 from hamptonsmith/facilities3

General prover progress and timeouts.
Fixed an error that caused binders to fail to bind to lambda expressions.