added residentSizePercent
Merge branch 'sharding' of github.com:triAGENS/ArangoDB into sharding