Updated to ArangoDB 1.2.0

Removed "devel" branch, because 1.3 does not yet exists.