adding non-recursive DepthFirst

(and the appropriate timeout)
fun progress bars
IterativeAStar with C-inlining