After the upgrade to GAP 4.10 in #22626, we revisit what
GAP packages are available in Sage via the GAP standard
SPKG and via extra optional SPGKs.

All GAP packages formerly in our "database_gap"
optional SPKG, except tomlib, now get installed
with GAP as part of our "gap" standard SPKG.

This ticket adds tomlib to the "gap" standard SPKG
and removes the "database_gap" optional SPKG.

(All packages previously in "database_gap" have
GPL-compatible licenses and can therefore be
distributed as part of the "gap" standard SPKG
without license worries.)

We also update the list of extra GAP packages
in gap_packages, which remains a separate and
optional SPKG.

Once the present ticket is merged, GAP packages
shipped with the "gap" standard SPKG and with
the "gap_packages" optional SPKG are as follows.

'''GAP packages now shipped with "gap"
(standard SageMath package)'''

A basic package used by most GAP packages
for their documentation

• GAPDoc

Five database packages formerly in "database_gap"

• PrimGrp
• SmallGrp
• TransGrp
• TomLib
• AtlasRep

Twelve more packages

• AutPGrp
• Alnuth
• CRISP
• !CTblLib
• FactInt
• FGA
• IRREDSOL
• LAGUNA
• Polenta
• Polycyclic
• ResClasses
• Sophus

'''GAP packages now shipped with "gap_packages"
(optional SageMath package)'''

Twenty-five "pure GAP" packages
(not requiring compilation)

• AClib
• AutoDoc
• CoReLG
• CRIME
• Cryst
• CrystCat
• DESIGN
• GBNP
• HAP
• HAPcryst
• hecke
• LieAlgDB
• LiePRing
• LieRing
• loops
• MapClass
• polymaking
• QPA
• QuaGroup
• RadiRoot
• Repsn
• SLA
• SONATA
• Toric
• utils

Four compiled GAP packages

• cohomolo
• GRAPE
• GUAVA
• nq

No longer distributed

• HAPprime: unmaintained, partly merged in HAP,
  see list of "No longer redistributed with GAP or renamed" GAP packages,
  source code archived at GitHub

Depends on #22626
Depends on #26889
Depends on #26965

CC: @alex-konovalov @antonio-rojas @dimpase @embray @kiwifb @mantepse @miguelmarco @slel @tscrim @vbraun

Component: packages: optional

Keywords: GAP

Author: Dima Pasechnik, Erik Bray

Branch: 8bf1044

Reviewer: Erik Bray, Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/26856