PHP devbox with Vagrant and Chef