+Abella 2.0.2

Also removed abella.2.0.0, which is now obsolete