PHP5.3 development server provisioned using Vagrant and Puppet