This helps with the modularization of sagelib.

We demonstrate its use by simplifying:

• sage.groups.braid (which depends on the optional library libbraiding via sage.libs.libbraiding). Actually a standard package
• sage.sat.solvers.cryptominisat, .picosat
• sage.matrix.matrix_space (meataxe)
• sage.graphs.graph (tdlib, mcqd)

This simplification helps eliminate the use of sage.misc.package.PackageNotFoundError. See #30607.

CC: @kiwifb @jhpalmieri @slel @seblabbe @dcoudert

Component: refactoring

Author: Matthias Koeppe

Branch: e1f6624

Reviewer: David Coudert

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