Add php-intl to sf2conf