[prover] fix prover versions

Loïc Corrensonrequested to merge
feature/prover-versions into master

Modifies prover selection, parsing, printing and configuring.

Also improves parsing and printing time and durations.

Closes #13 (closed)

Edited by Loïc Correnson

Merge request reports