Add php*-judy PECL extension