Fixed a missing function getTotal. ArangoDocuments will now fetch their total amount on col change
Inserted the paginatedCollection
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel