A PHP INI file parser supporting section inheritance, property nesting, and simple arrays