Tomato based plugins for the HAVOC Minecraft server