IRC mod for the vanilla Minecraft server