Cyclic cohomology within the differential envelope: An introduction to Alain Connes' non-commutative differential geometry