Pushing a DSC configuration to multiple servers