Added DominatorDetector, fixed BasicBlockDetector

Renamed the Dominator Detection file to DominatorDetector.cpp since
that's a way better name, fixed up BasicBlockDetector so that it's a
module pass instead of a function pass.  Also adding a bc file for
testing.