Implement a new algorithm for cut set generation.

A new walker algorithm is implemented that is supposed to generate cut
sets from a fault tree faster than the previous algorithms. The
minimality detection is not optimized.