[config] command --check

Implement command why3find config --check which checks the provers used by all proof certificates under .

Closes #63 (closed)