Config: Store role names instead of IDs

[NMertsch]

Currently, the Discord role IDs have to be hard-coded in the config file. To make the same configuration usable on multiple servers (e.g. test, prod), let's instead hard-code the role names.

[artcz]

I think last year we used the IDs because of their immutability (roles names can change, you can create a new one with the same name, and then different roles will be added to the user).

cc @Kislovskiy who might remember more details from last year about this.

Can I suggest that if the goal is to make it reusable between servers (incl. test/prod) to make it a configurable setting depending on the environment?

[NMertsch]

Thank you for the context. I have the impression that (at least in this project) role names are far more stable than role IDs.