Vagrant box para desarrollo PHP con phalconPHP