[Why3] remove for compatibility the -t of cp
Merge pull request #1269 from polazarus/master

Update Oclock 0.4.0
Upgrade batsh to version 0.0.5.
CSV 1.3.2
omd 0.6.3 (bug fix for some weird code blocks)
omd 0.6.2
[Why3] add messages and move some depencies to optionnal
[Frama-c] print a message when why3 or coq are not installed
mpp.0.1.2: make mpp work when sh is a link to dash instead of a modern shell
make MPP description more useful
Merge pull request #1271 from pw374/master

omd 0.6.2 + 0.6.3 (bug fixes) + mpp 0.1.2 (feature fix)
Merge pull request #1272 from Chris00/master

CSV 1.3.2
Merge pull request #1270 from BYVoid/master

Upgrade batsh to version 0.0.5.
Merge pull request #1236 from bobot/why3message

Why3message