Expose more of the JGroups features

The idea is to expose more of the internals of the clustering setup:

• show the instance cluster id
• show which members are linked to this instance

And start exposing some features of JGroups, like automatically choosing a leader among the members.