PHP 5.4 development php environment managed by vagrant and puppet, thanks to https://puphpet.com/