Add extra PHP versions, including HHVM