add optional priority paramater for PriorityQueue.add()

improve documentation