Provide HHVM as a low-priority alternative to php

This lets the alternative system add a symlink from /usr/bin/php to /usr/bin/hhvm if one with a higher priority doesn't exist. Having php5-cli installed, or installing it, will cause the system to change the symlink to point to the php5 binary instead.