Exclude deactivated users from @-mention autocomplete popup

[Khader-1]

Implementing #451

Logic Implemented

• Always exclude the users that have isActive set to false
• Show the id in the mention string if there are two users with the same full name even if one of them is deactivated

[sm-sayedi]

@Khader-1 Before the maintainers can review the PR, please check the zulip commit discipline page on how to properly structure your commit. 🙂

[Khader-1]

@Khader-1 Before the maintainers can review the PR, please check the zulip commit discipline page on how to properly structure your commit. 🙂

Thanks for the feedback! On it..

[gnprice]

For cross-reference: it looks like this became #588 ah, no, #582.

@Khader-1 For future pull requests, it's better to update the existing PR than to close it and open a new one. See https://zulip.readthedocs.io/en/latest/git/pull-requests.html#update-a-pull-request .