Made new prover output to console dependent on absence of the -nodebug flag
format issue
Merge pull request #67 from mikekab/master

format issue