Allow binary distributions to prevent rebuilding of sagelib

[embray]

This slightly odd ticket is needed for the Windows version of Sage, and might be useful in other binary distributions (e.g. Docker?) in which the src/build directory has been stripped out.

At issue here is the fact that, if you install an optional package with sage -i, after the optional package is installed it runs:

touch "$SAGE_ROOT/configure" && $MAKE all-build

If src/build has been stripped out, this means that all of sagelib gets rebuilt, even if it isn't necessary.

This solution is not perfect, however, because sagelib does have some "optional extensions", such that when installing certain optional packages it is necessary to rebuild at least part of sagelib.

So I'm open to better ideas on this, but I do need it right now for the Windows distribution.

Depends on #33131

CC: @vbraun @dimpase @jdemeyer

Component: build

Branch/Commit: u/embray/disable-force-rebuild-on-spkg-install @ c217309

Reviewer: Dima Pasechnik

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

[mkoeppe]

comment:2

(dup of #29055)

[mkoeppe]

comment:3

In the CI test of sage-numerical-backends-coin, I just patch this away using sed:
https://github.com/mkoeppe/sage-numerical-backends-coin/blob/master/Dockerfile-sage_binary#L39

[mkoeppe]

comment:8

Moving to 9.4, as 9.3 has been released.

[mkoeppe]

comment:10

Work on improving the binary distribution is clearly not happening; we can close it as outdated - depending on #33131.

[mkoeppe]

Dependencies: #33131

[dimpase]

Reviewer: Dima Pasechnik