Some edits in etale-cohomology.tex

Just reorganization mostly.

I'd like somebody to provide a proof of the statement that continuous
cohomology a la Tate agrees with the derived functor cohomology for
discrete modules. Please?