Setup PHP development virtual machine with Vagrant and Puppet