A PHP development virtual machine with Puppet configuration