use doctrine dbal 2.5@dev for hhvm

``"$TRAVIS_PHP_VERSION" != "php"`` will also always be true, because the version is ``5.5`` or ``5.6`` for Zend PHP, not ``php``. It is what is set on line 4 to 8