hhvm: do not install a specific version anymore

Change-Id: I6ab798693e0f04cf1d43355aa7311a0771bbe0b9
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>