Computation of L_{B/A} for etale and smooth ring maps

A nice feature is the streamlined proof that L_{B/A} is zero when
A ---> B and B \otimes_A B ---> B are both flat.