Elkik's algebraization in general

This large set of changes finally gives a ``good'' proof of Elkik's
algebraization of rig-etale algebras. Note the fun lemma descending
a given deformation through an \'etale map which is an isomorphism
along the non-\'etale locus!