[prove] print statistics on proof session

Would be great to have (at least in tty mode) :

• number of fixed proofs (stuck -> proved)
• number of regressions (proved -> stuck)
• number of minimized proofs (transfs -> prover)