Fixed link to cluster GUI
Fixed problems with Cluster Overview when cluster is authenticated. User needs zu supply a coordinator user
Fixed a minor bug, wehn dispatcher and cluster are authenticated with different users
Merge branch 'devel' of github.com:triAGENS/ArangoDB into devel