Discord bot This bot serves as the discord bot for our Kendo discord server. TODO: basic role functionality