Add modules to Puppetfile

These are the modules (at least most of them) necessary to deploy to set
up PE via Puppet.