more eager checking whether current command is updated
avoid extra indirection via Job for displaying prover output (fixes #63)
Merge branch 'output-performance'