Add intl extension

The intl extension do not compile well in PHP 5.3 so I have included a patch to make it work.