Why3message

Fix #1232

Also one old commit that use the new messages feature, but that I wrote when I proposed this feature.

As a general question, is there a place to put new packages which work only with the development version of opam?