src/sage/symbolic/integration: make libgiac integration optional
We turn the libgiac integrator into a no-op if libgiac isn't available. That way, in the default integration routines, it is essentially skipped. If it were tried last, we could literally skip it; but currently it lives between maxima and sympy and cannot be rearanged without messing up some doctests.
Documentation preview for this PR (built with commit 7b31e644c4a40b2974893b6b65d4ef012dbc406d; changes) is ready! :tada: This preview will update shortly after each push to this PR.
Shouldn't the test for giac presence go via src/sage/features/giac ?
It's not using the "giac" executable, only the libgiac interface. I guess we could use the sage.libs.giac feature, but since this code is already going to import sage.libs.giac, it was simpler to catch the ImportError.