Improved overview on the cluster. It will now also show the number of shards a server is responsible for
Merge branch 'sharding' of https://github.com/triAGENS/ArangoDB into sharding