dynamicly set the config_root_ini parameter depending on the php version

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