fix writing proofs to output files
Merge pull request #172 from philsnow/fix_prove_output

fix writing proofs to output files