A simple Vagrant PHP server using puppet