src/: Add php/version.php, which contains a simple mechanism for accessing the PHP version (of the current PHP runtime) via a more manageable interface (a Version class that breaks the version-number up into its component parts).