force: make setup
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel
changed version number to 1.3.alpha