Add graphviz printer.
Modify the slow version.
Add dominator tree in Python.
Update dominators.py.