[ticket/12318] Always install new config file on HHVM upgrade conflict.

PHPBB3-12318
[ticket/12318] Pin HHVM version to 3.0.0~precise.

PHPBB3-12318