updated ArangoDB Version for travis to 1.3.devel