Implement find_unique_ancestors using more explicit graph searching.

Copied a lot of the loops from the find_difference code, but
could streamline it a bit for the different logic
(we only have to track one side of the differences, not both)

I need to do more complete testing on bzr.dev, but so far
it looks pretty good.