Implement command why3find config --check which checks the provers used by all proof certificates under .
why3find config --check
.
Closes #63 (closed)
No changes between version 2 and version 2
