Simple tool for managing minecraft servers