Updates dolmen to 0.9.0, restricts Core's version to < v0.16.0 because newer versions of Core require OCaml 4.14.0, while Colibri2 requires OCaml 4.12.0.