A couple of very minor performance improvements for the Paths classes.  (std::vector and std::list changed to std::set where it made sense to do so).