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.

Does this and the one above, need to appear as `.. [1]` (with a space)?
http://sphinx-doc.org/rest.html#citations