Chapter "50 Group Libraries" contains outdated information

[fingolfin]

Looking at https://docs.gap-system.org/doc/ref/chap50_mj.html we see:

• some basic groups, such as cyclic groups or symmetric groups (see 50.1),
• Classical matrix groups (see 50.2),
• the transitive permutation groups of degree at most 30, provided by the TransGrp package (see transgrp: Transitive Permutation Groups),
• a library of groups of small order (see smallgrp: The Small Groups Library),
• the finite perfect groups of size at most $2\cdot 10^6$ (see 50.6).
• the primitive permutation groups of degree <4096, provided by the PrimGrp package (see primgrp: Primitive Permutation Groups),
• the irreducible solvable subgroups of 𝐺𝐿(𝑛,𝑝) for 𝑛>1 and 𝑝𝑛<256, provided by the PrimGrp package (see primgrp: Irreducible Solvable Matrix Groups),
• the irreducible maximal finite integral matrix groups of dimension at most 31 (see 50.7),
• the crystallographic groups of dimension at most 4

This is outdated: the transitive and primitive groups libraries are larger by now. And of course this misses e.g. sotgrps.

We could update it to the current ranges; but this risks getting outdated again. So perhaps we should make it generic, e.g. instead of

transitive permutation groups of degree at most 30

write something like

transitive permutation groups up to some degree bound

Motivated by gap-packages/primgrp#58 (cc @lgoettgens)