Reorganize the chapter on differential graded algebra

Also added: A discussion of what can be proved with the current method
of proving that the homotopy category is a triangulated category. We
will add the details if we ever need it (and it will be a simple matter
to do so).