PHP Extension for libJudy