Vagrant/Puppet config for php dev.