Document PriorityQueue.

Add examples to methods.
I'd rather spell out "This is sometimes called 'heapifying' the vector" than just putting it in parens.