Why3 environment for deductive program verification (base)

This package is for advanced users only, normal users should use the
full why3 package.
