Use embeds for public logs (+ lint pass)

[jack-avery]

Using embeds for user logs adds a few nice things:

• Emojis are already used, but the sidebar colour can be used to give immediate context on the message at a glance
• Grants protection against users trying to ping roles/everyone/users from within the game (text within embeds is formatted but pings are not sent out)
• Abstracts message formatting and colouring into a smaller file
• Actually uses the "timestamp" parameter (which is likely unnecessary given Discord's own timestamps, but maybe the bot hitches on something and this should keep original timestamps intact.)

Additionally while looking through my linter formatted the files. I also added some type hints on the files I touched, but left the rest alone.

[JonnyPtn]

Thanks! I've merged this somewhat blindly, as i'm deprecating the python version of this bot and using dotnet now (see main branch if you're curious)