[prove] option --provers don't work as expected

When trying to run why3find prove --prover ! file.mlw, why3find warns about Warning: prover ! not found and then proceed to prove with alt-ergo when it is expected to run no provers (according to README)