A Minecraft server mod for reporting server crashes