Add support for phpdbg

This pull request adds support for the installation of phpdbg (introduced with PHP 5.6).