Simple PHP library for accessing and manipulating the Windows registry