Add HHVM interpretor into php platform

This should to be the result of `get_packages`. To fix the GPG key problem, we should introduce a `pre_install` method, don't you think ?