1.5.1

upgrade on 1.5 with bugfixes, and more up-to-date dependencies (in particular, Iter and Msat).

(self-contained bundle with scripts to install opam and the dependencies is attached)