Since php 5.4 the location of ini files has changed. Therefore all instanciations of php extensions will have to propertly set the ini file parameter, when running php < 5.4

Added a fact that determines the installed php version and lets the php::params class set the config_root_ini parameter accordingly.