Updated to ArangoDB 1.2.3, updated to ArangoDB 1.3.0-alpha2 (devel)

- updated (standard) to ArangoDB 1.2.3
- updated (devel) to ArangoDB 1.3.0-alpha2
- added prefix for --devel and --HEAD builds