Added HHVM release 3.1.0

- New configuration files php.ini and server.ini  instead of single
config.hdf file
- Added new option: jsonc