Vanilla Minecraft server management for Ubuntu and OS X