[Why3] remove for compatibility the -t of cp
[Why3] add messages and move some depencies to optionnal
[Frama-c] print a message when why3 or coq are not installed
Merge pull request #1236 from bobot/why3message

Why3message