Highlight prover output for ideslave
Merge pull request #1369 from david-christiansen/prover-output-color

Highlight prover output for ideslave