First version of the argument proving compact objects can be represented
by finite, graded projective differential graded modules in case the
differentail graded algebra lives in a finite number of degrees.
Small fixes of the previous commit
Small fixes