Puppet scripts to provision server