Port php_splice to phalcon_array_splice from PHP 5.5