Host discord-bot on lab computers, and setup auto-deployment

[cbrxyz]

To ensure the Discord bot—a collaborative effort benefiting the entire lab—operates optimally, it's imperative that it be hosted on lab-designated computers. This centralizes the bot's operation, ensuring accessibility and maintainability by all lab members. Currently, the bot is hosted on a server managed by @cbrxyz. To streamline the transition to lab servers, @cbrxyz will be required to decommission her personal server once the lab server hosting setup is finalized.

Implementing an auto-deployment mechanism (possibly auto deploy over SSH with GitHub actions or pulling from docker) is crucial for enhancing operational efficiency. This approach will automate the bot's deployment to the lab server following any update, simplifying the deployment process significantly. Such automation not only facilitates easier updates but also broadens the opportunity for more lab members to engage in the bot's management and oversight. This system will ensure that the bot remains an effective tool for the lab, reflecting the collective input and efforts of all members involved.