Improved the overview and added a seperate coordinators view, it is actually completely different compared to db servers
First version of server view displaying pairs of db servers. Design missing
Merge branch 'sharding' of https://github.com/triAGENS/ArangoDB into sharding