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