Replaced the PriorityQueue used by the Dijkstra. The (Wrapped)BinaryMinHeap should have a smaller memory footprint and a higher performance than the PseudoRemovePriorityQueue that was used so far.
Authored by: skull5 2013-10-08
Parent: [r26059]
Child: [r26061]