Moved pagination to a more general collection, logs is now extending it
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel