Remove duplicate algorithms, keep the fastest, and add new
faster non-recursive implementation of post_traversal.

The traversal algorithms are now post_traversal, pre_traversal,
unique_post_traversal, and unique_pre_traversal.

Pre- is faster than post-, and unique- is slower but yields only
unique graph nodes.