Resolve "support for CVC4 1.8"
This MR add support for CVC4 1.8 to the provers detection data, and adds support to the CVC4 string drivers for string.is_digit
and string.from_code
, which are the newly supported functions that are used by the Why3 string theory.
Closes #502 (closed)