hhvm: Migrate settings from config.hdf to php.ini

Change-Id: I2367fdaa0020ce5cf67987fdb3251a5fdf594a77