Add emojis for each group somebody is in after nick

Give each group a unique emoji, e.g. ⌨️ for digIT or 🔨 for P.R.I.T., or 📷 for FlashIT etc and append that emoji to the end of the persons nick.
This should probably replace the current special allocation of emojis provided to certain people in util.ts

Start in util.ts by reading the current special allocation of emojis to certain people and trace how group membership and nicknames are represented. Define the group-to-emoji mapping from the issue examples, append the matching emoji to each nickname, and confirm that the previous per-person allocation is replaced.

Written by the indexing model from the issue text.