Aardvark: Moved repositories to libs as they do not need personal collections
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel