Merge branch '1.0' of git://ci.easycrypt.info/easycrypt into 1.0
Merge branch '1.0' of https://github.com/dominique-unruh/easycrypt-tartu into 1.0
Merge branch '1.0' of https://github.com/dominique-unruh/easycrypt-tartu into 1.0