fixed document pagination after using filter method
removed debug stuff
fixed jslint warnings
fixed jslint warnings
improved users API
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into sharding