Made new prover output to console dependent on absence of the -nodebug f...

...lag