Puppet operating system scientific linux