IRC bot with various utilities for the Open Redstone Engineers Minecraft Server