Puppet module for puppet on Debian