Derived deformation theory and Koszul duality course