Puppet files for a Centos 6.4 dev server