+Abella 2.0.2

Also removed abella.2.0.0, which is now obsolete
Abella 2.0.2 requires OCaml 4.01.0+
Merge pull request #2915 from chaudhuri/abella.2.0.2

+Abella 2.0.2