[Frama-c] print a message when why3 or coq are not installed