A minecraft server in python