Scheme-derived categories in families

Scheme base changes, residue fibers, derived realizations, and geometric pullback and direct-image constructions that are independent of stability conditions. Public declarations owned by this subtree use AlgebraicGeometry.DerivedCategory.Families.