MSP: Skeleton for a Pareto priority queue implementation
MSP: Return only a single path from the queue

Once again, change the signature such that only a single path can be
returned.
MSP: Implement the Pareto priority queue
MSP: Replace uses of LinkedQueue by PriorityQueue