puppet: make number of master workers configurable