Obtaining triangulated categories

Proof that the homotopy category of a differential graded category
satisfying axioms (A), (B), and (C) is triangulated.

Written by John Yu and Yifei Zhao
Editorial changes to material added in previous commit