Concrete algebraic categories

Extensions of Mathlib's Algebra/Category/: the category of abelian groups and the categories of modules, including sheaves of modules on a ringed site, which Mathlib defines in Algebra/Category/ModuleCat/Sheaf.lean.