Fixing ocaml version constraint for Abella 2.0.0 per feedback