Discord membership sync bot

[smartin015]

We can now auto assign the "member" role to discord users. We should attempt to map the existing set of discord users to their neon accounts, then automatically manage their roles based on whether they are active/paying members.

We can also automatically set the nickname of a discord user via the bot - referencing neon - to eliminate manual effort to keep them in sync.

[smartin015]

Rough plan:

• [ ] Extend discord bot to accept DMs so a user can link their discord account to their Neon account privately
• [ ] Write a script that gets a list of all discord users, sorts them, checks that they have a match in Neon, and picks the first N without a match to send a direct message requiring account linking. If those accounts were notified >1wk ago, remove the member bit until they've complied
• [ ] Write another script that gets all neon users without active memberships, warns them, then removes their member bit until they've renewed membership. Limit to 1 notification and 1 removal per day, until better trusted
• [ ] Write another script that looks for instructor and tech assignment in Neon and syncs those bits in Discord.

[smartin015]

The new plan is pretty close to what I thought up in March, modulo a few details.

See commands/roles.py for two commands: update_role_intents and enforce_discord_nicknames. The former handles role addition and removal, while the latter handles setting of server display names (i.e. nicknames).

Remaining steps are rollout-y and happening slowly so as not to rock the boat too much:

• [x] Automatically add Discord users to the roles and channels they should have access to.
• [ ] Automatically assign display names (nicknames) by using the first name, preferred name, last name, and pronouns fields provided by members via the member portal.
• [ ] Remove Discord users from roles and channels they shouldn't have access to as indicated by current membership and involvement, after a two-week grace period and with multiple DMs in advance of the change to allow time to correct any issues.