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
Merge pull request #609 from Chris00/master

More updates with oasis2opam
Gammu 0.9.2
Update getopt using oasis2opam
Update ibx using oasis2opam

The package is automatically generated by oasis2opam modulo a version
constraint that is not present in the _oasis file.
Update integration1d using oasis2opam 0.2.1
Update jsonm using oasis2opam 0.2.1
Update lambda-term using oasis2opam
Update uri using oasis2opam
Update estring using oasis2opam

The maintainer was taken from
https://github.com/diml/estring/commits/master
Update utop using oasis2opam

Some manual editing was needed for the maintainer [1] and the
dependencies ("findlib" and "zed").

[1] Now in _oasis https://github.com/diml/utop/commit/2e0026da7c20ff67f67dc85895a7258acc1a2d73
oasis2opam 0.2.2
Merge pull request #610 from Chris00/master

Updating (again) some packages with oasis2opam