[HACKERS] Patch: propose to include 3 new functions into intarray and intagg

Hello.

Here are these functions with detailed documentation:
http://en.dklab.ru/lib/dklab_postgresql_patch/

intagg.int_array_append_aggregate(int[]): fast merge arrays into one large list
intarray._int_group_count_sort(int[], bool): frequency-based sorting
intarray.bidx(int[], int): binary search in a sorted array

Tested for about a year on a real PostgreSQL cluster (10 machines, Slony replication) under a heavy load (millions of requests).
No crash nor memory problem detected during a year, so I suppose these functions are well-tested.

What do you think about that?