made the prover respect the web interface flag and not output a proof file when we are on the web interface
Merge pull request #73 from yushan87/prover_fixes

Prover does not respect the web interface flag