PHP development environment with Vagrant and Puppet.