WhatsApp: refresh list of group participants when we get a notification of group participants being added/removed

issue #580