Added Abella 2.0.0
Fixing ocaml version constraint for Abella 2.0.0 per feedback
Merge pull request #905 from chaudhuri/abella-2.0.0

Added Abella 2.0.0