Upgraded ArangoDB (Devel) to 1.2.beta3