Puppet manifest to install and configure php5