do graph reversal iteratively to avoid deep recursion
small speedup + fix makefile
return set of all nodes; move dotfile generation into lib and make it iterative
esgraph executable to print a cfg as a dot-graph