Setup a PHP5 development environment using Vagrant/ Librarian-puppet based on Debian with Nginx and PHP5-FPM.