[Why3] remove for compatibility the -t of cp
Upgrade batsh to version 0.0.5.
CSV 1.3.2
[Why3] add messages and move some depencies to optionnal
[Frama-c] print a message when why3 or coq are not installed
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
Update README.md
Update README.md
Add Ocamlyices v0.7.0
Remove superfluous dependency in Oclock 0.4.0
qcheck 0.2 (merge with gasche's generator)
Merge pull request #1274 from c-cube/master

qcheck 0.2, again
Ctypes 0.2.
Merge pull request #1275 from polazarus/master

Add Ocamlyices and fix latest Oclock
Add version constraint to ctypes package.
Add depexts for Ubuntu.
+cstruct.0.8.1