Compile support for provers is now checked only when the version matches
or when going through the unrecognized provers. This commit also improves
the output, since the "detected provers" were only the ones added to the
configuration file, not the ones actually detected (e.g. bad versions,
empty commands, missing support).