Prover does not respect the web interface flag

The prover always generates a proof file. This is not needed by the web interface since it doesn't deal with files. This fix makes sure the web interface flag is not on before generating a proof file. 

Pivotal Story: Verifying Facilities
Pivotal Story Number: #56452048