Merge pull request #72 from yushan87/prover_fixes

Prover Fixes
made the prover respect the web interface flag and not output a proof file when we are on the web interface