[config] make prover versions strict

When a configuration has non-strict versions for provers, it would be nice to promote them to their current version.

Something like why3find config --strict.

Conversely, having why3find config --relax would be nice also.