Added support for phpiredis extension
remove intl.ini if it exists, since it is now compiled into php (refs issue #1112)