Generic priority queues: type generic, reentrant.

Currently implemented algorithm is the fibonacci heap.

