snake lemma

here is homology.tex, extended by the "right" statement of the snake
lemma, with (almost) complete proof, including some more lemmas.