python scripts for hosting and managing minecraft servers