Add "boolector" and "mathsat" as possible prover settings.

Support for these provers was added in SBV version 3.