Vagrantfile and chef cookbook to install php5.4 by remi