A chatbot for use with a Minecraft server