Updated to ArangoDB 1.3.0

Updated to ArangoDB 1.3.0, removed devel (which was 1.3.0-alpha)