Merge pull request #42 from bdurkee/master

added web listener
line ending changes
Merge pull request #44 from yushan87/master

Some line ending changes
Trying to get line normalization to die.
Merge pull request #46 from hamptonsmith/diecrlfdie

Trying to get line normalization to die.
Really this time.
Merge pull request #47 from hamptonsmith/diecrlfdie

Really this time.
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
moved web listener to CompileEnvironment