Shell scripts and other tools for Minecraft servers on Linux