Vagrant box with Debian 7.0.2, HHVM (http://www.hiphop-php.com/blog/) and Symfony2