After ':set prover = x', test whether prover 'x' is installed

If not, we print a warning message. This addresses issue #28.