System configuration with Puppet