Update lemma on extending sections on Noetherian algebraic space
Update D_{QCoh} = D(QCoh) for algebraic spaces

Changes parallel to the changes in the chapter on schemes