[Why3] example of a messages field (issue OcamlPro/opam#572)