放弃 HHVM 和 PHP5.x 支持

HHVM 几乎被用到任何地方,而且自从 php7 出现以来,它也就没有真正的用例了。不过,推动 Zend PHP 确实是一个伟大的项目。我们应该放弃 HHVM 和 php5.x 支持,并从代码库中清理 HHVM 解决方案(以及放弃 HHVM CI)。你们是否同意?如果是,我可以提供一个 PR。