New chapter on divided power algebra

Contains the rudiments of divided powers as well as the material on Tate
resolutions and its application to Avramov's theorem we just added.