Make prover names for `:set prover=` case insensitive.
Make prover names for `:set prover=` case insensitive.

We force solver names to lowercase before testing them
against the preset solver names from the backend.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol