proper group member deletion

When a client disconnects, its group members are notified so that they
can be deleted in their peers' list of group members.
They are also deleted from the group in the server.