Puppet configuration for Debian based servers