[ci skip] add php-dbg package to vagrant box

Author: Bulat Shakirzyanov

Vagrantfile

@@ -11,7 +11,7 @@ Vagrant.configure("2") do |config|
   config.vm.provision "shell", inline: <<-SHELL
   echo "Installing all necessary packages"
   sudo apt-get update
-  sudo apt-get install -y g++ make cmake libuv-dev libssl-dev libgmp-dev php5 php5-dev openssl libpcre3-dev
+  sudo apt-get install -y g++ make cmake libuv-dev libssl-dev libgmp-dev php5 php5-dev php5-dbg openssl libpcre3-dev
   sudo apt-get install -y python-pip default-jdk
   sudo apt-get install -y git valgrind