why3execute: adding support for MPFR (floats and reals)
This merge request adds:
- support for MPFR,
- support for Float computation,
- support for Real computation using interval of floats (precision given by the user)
The standard library coverage is still partial.