Merge pull request #605 from Chris00/master

Update some packages using oasis2opam
[Why3] Fix OCamlPro/opam#577: patch the file ./configure instead of ./configure.in
  So ./configure doesn't have to be regenerated which can fail
with old version of autoconf.
Merge pull request #607 from bobot/master

[Why3] Fix OCamlPro/opam#577
Fix compilation of atdgen (reported in #592)
ANSITerminal 0.6.4 (generated with oasis2opam)
Update weberizer with oasis2opam 0.2
oasis2opam v0.2
oasis2opam v0.2.1
Update cmdliner with oasis2opam 0.2.1
Csv v1.2.6