Fixed a couple bugs on the way to proving Selection_Sort and added search functionality for the interactive prover.
Fixed a error that caused problems when undoing a proof step that resulted from a transformation where multiple binders bound to the same site.  Fixed an error that caused iterators over consequent sites to get into an inconsistent state.
Fixed a bug that caused the prover to claim it proved things that it had not.  Fixed a number of random bugs.
A rearchitect of Sites to better support final proof processing and output.
Good prover output finally working.
Fixed a bug that caused deschematization to fail on MTCartesians.  Lots of other things too.
Added code so that algebraic prover will alert its prover listeners whenever a VC is proved/skipped.
Merge pull request #48 from hamptonsmith/updates

Lots of changes + prover listeners now get called