Major refactor of the calculation of dominators.

Conflicts:
	src/clang/Analysis/Analyses/ThreadSafetyTIL.cpp
Competed refactoring of dominator and postdominator computation

Conflicts:
	src/clang/Analysis/Analyses/ThreadSafetyTIL.cpp
comments and some minor modifications
Cleanup in preparation for push.