scripts to create and manage a Minecraft server