Add support for muted users

[WesleyAC]

We've finished merging the backend for muting users in zulip/zulip#16915, and are discussing the UI in zulip/zulip#18222.

This is being implemented in the webapp (zulip/zulip#16915), and mobile (zulip/zulip#4678), and it would be excellent for ZT to support it as well.

zulip/zulip-mobile#4655 may be helpful for figuring out what implementing this looks like, it's unlikely to be very tricky.

---

Notes for implementation as of Apr 2024: (by neiljp)

API notes:

• https://docs.zulip.com/api/mute-user#mute-a-user
• https://docs.zulip.com/api/unmute-user
• muted_users in response from register (https://docs.zulip.com/api/register-queue)
• muted_users events (https://docs.zulip.com/api/get-events#muted_users)

API changelog: (https://docs.zulip.com/api/changelog)

• ZFL 48 (server v4.0): Basic support for the above API
• ZFL 188 (server v8.0): Support for muting bot users (so must warn/error before)

[neiljp]

@WesleyAC Thanks for opening this - I was just considering doing so myself 👍

This is projected for Zulip 4.0?

[WesleyAC]

Yep, the plan is for this to be in 4.0 :)

[Subhasish-Behera]

The mobile implementation seems to be zulip/zulip-mobile#4678 and not zulip/zulip#4678 as mentioned above.