database version is now AABBCC, where AA = major, BB = minor, CC = patch
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel