A lightweight, easy to extend minecraft server manager.