Glob kick command

[jae1911]

This pull requests adds for glob support in the !mjolnir kick command.

Example

!mjolnir kick @*:domain.tld <reason> --force

This command will kick every user having a mxid matching domain.tld.
You can also still kick a particular user:

!mjolnir kick @user:domain.tld <reason>

Tests:

Tested on the Furry Tech room (vRGLvqJYlFvzpThbxI:matrix.org) after a spam wave.
It kicked over 13k bots in a matter of hours without putting too much strain on the homeserver.
For instance, this command was matching @spam*:

Signed-off-by: Jae Lo Presti [email protected]

[Yoric]

@jae1911 Thanks for the PR!

I'm currently working on a PR that will let us background this to reduce the impact on servers, I'll see if we can mix both if that's alright with you.

[jae1911]

@jae1911 Thanks for the PR!

I'm currently working on a PR that will let us background this to reduce the impact on servers, I'll see if we can mix both if that's alright with you.

Sounds good to me!