Add more well-known categories

[ScriptRaccoon]

While CatDat already has a couple of well-known categories, some are currently missing. Here are some suggestions.

Notation	Category	Links
$grMod_R$	Graded modules
$CGWH$	compactly generated weak Hausdorff spaces
$hTop$	Homotopy category of Top
$Haus$	Hausdorff spaces
$CompHaus$	Compact Hausdorff spaces
$TopGrp$	Topological groups
$Ban_c$	Banach spaces with continuous linear maps
$TopVect$	Topological vector spaces
$NormVect$	Normed vector spaces
$CompMet$	Complete metric spaces	MSE
$C^*-Alg$	C*-algebras
$LawMet$	Lawvere metric spaces
$Mod(O_X)$	Modules over a sheaf of rings
$RS$	Ringed spaces
$Qcoh(X)$	Quasi-coherent sheaves
$Alg(O_X)$	Algebras over a sheaf of rings
$\Delta$	Simplex category

Also:

1. Add the categories from https://math.stackexchange.com/questions/4481902/locally-presentable-vs-compactly-presentable-categories
2. Add the categories from https://mathoverflow.net/questions/258269/cocomplete-topoi-that-are-not-grothendieck

IMPORTANT. Adding these categories to the categories table is easy, but not sufficient, since (see CONTRIBUTING.md) one should also try to fill in the properties and non-properties (in case they are not deduced already). So this is actually a quite big task. Maybe one can make one commit (or PR) per category.