Move php_ini() from HHVM module to wmflib

* Move it to wmflib, so it can be used for non-HHVM ini files as well.
* Add documentation.
* Handle arrays per HHVM conventions.

Change-Id: I029425df001394a65787ef19b87ae5cc4e71df8d