Update pycraft to use Server.getConfig()