Add algorithm for computing immediate dominators and dominance frontiers

Addresses #679.

Work items:
- [x] Add `immediate_dominators`.
- [x] Add `dominance_frontiers`.
- [x] Modify reference manual.