Updated php-formula submodule.
Added PHP intl module.