Use devel of ArangoDB-PHP for devel branch.