Improve combinations script

[ScriptRaccoon]

The combinations script (cf. #347) is improved in several ways:

• the script accepts multiple structures as input
• dual combinations are printed as well
• there is a massive performance boost (by moving most the logic to the SQL query)
• the code has been refactored as a whole

Therefore, when a PR adds several categories, the script now emits the proper diff with respect to consistent unwitnessed combinations (up to dualization).

Example

pnpm db:combinations category FreeAb FreeAb_fg

prints:

Found 35 unique witnessed combinations by the supplied structures (FreeAb, FreeAb_fg):

Directly witnessed:
- regular ∧ ¬coequalizers
- unital ∧ ¬coequalizers
- kernels ∧ ¬cokernels
- unital ∧ ¬cokernels
- additive ∧ ¬quotients of congruences
- biproducts ∧ ¬quotients of congruences
- kernels ∧ ¬quotients of congruences
- pointed ∧ ¬quotients of congruences
- preadditive ∧ ¬quotients of congruences
- regular ∧ ¬quotients of congruences
- unital ∧ ¬quotients of congruences
- zero morphisms ∧ ¬quotients of congruences
- regular ∧ ¬reflexive coequalizers
- unital ∧ ¬reflexive coequalizers
- additive ∧ ¬ℵ₁-accessible
- additive ∧ ¬ℵ₁-filtered colimits
- essentially countable ∧ ¬effective cocongruences
- self-dual ∧ ¬effective cocongruences
- essentially countable ∧ ¬effective congruences
- self-dual ∧ ¬effective congruences

Dually witnessed:
- coregular ∧ ¬equalizers
- counital ∧ ¬equalizers
- cokernels ∧ ¬kernels
- counital ∧ ¬kernels
- additive ∧ ¬coquotients of cocongruences
- biproducts ∧ ¬coquotients of cocongruences
- cokernels ∧ ¬coquotients of cocongruences
- pointed ∧ ¬coquotients of cocongruences
- preadditive ∧ ¬coquotients of cocongruences
- coregular ∧ ¬coquotients of cocongruences
- counital ∧ ¬coquotients of cocongruences
- zero morphisms ∧ ¬coquotients of cocongruences
- coregular ∧ ¬coreflexive equalizers
- counital ∧ ¬coreflexive equalizers
- additive ∧ ¬ℵ₁-cofiltered limits