fixes the problem where the prover crashes when there are no givens for a particular VC
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
Merge pull request #73 from yushan87/prover_fixes

Prover does not respect the web interface flag