[Why3] add messages and move some depencies to optionnal
[Frama-c] print a message when why3 or coq are not installed