An init script for managing Minecraft servers