update to hhvm 2.3.1, and add an hhvm php.ini file