Further extend the Dominators API

The dominator tree now has the same set of accessors as
the postdominator tree.