Merge pull request #244 from OCamlPro/next

Version 2.0 with support for Babylon+

Version 1.057

More error reporting for comparable types

Liquidity version 1.0

Show commit and date in --version (with -v)

Changelog

Changelog

Fixes for mini version and *.size in ocaml generation

date

Merge branch 'next'

Fix examples with [%%version 0.1]