Minecraft server management scripts.