[Why3] remove for compatibility the -t of cp
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
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.
fix package qcheck-0.2 (build files were packaged in old archive)