Merge pull request #2444 from fredrik-johansson/precond2 #3636

Job	Run time
Ubuntu GCC with NTL and checking msolve (assert, x2)	9m 36s
MinGW GCC (x0.5)	11m 46s
Ubuntu ARM (x5)	1s
Ubuntu Clang, BLAS and examples (x5)	14m 15s
GCC build regression check (no tests)	2m 45s
Ubuntu GCC, Code Coverage (x10)	29m 17s
MSVC (x1)	30m 38s
macOS-M1, Clang (x3)	12m 16s
Nemo.jl	19m 14s
Alpine Linux, musl, 32-bit (assert, x1.5)	14m 35s
Ubuntu ARM (x5)	1s
Ubuntu GCC with NTL and checking msolve (assert, x2)	9m 36s
GCC build regression check (no tests)	2m 45s
Ubuntu GCC, Code Coverage (x10)	29m 17s
macOS-M1, Clang (x3)	12m 16s
Ubuntu Clang, BLAS and examples (x5)	14m 15s
Nemo.jl	19m 14s
Alpine Linux, musl, 32-bit (assert, x1.5)	14m 35s
MinGW GCC (x0.5)	11m 46s
MSVC (x1)	30m 38s
	4h 48m 46s

Provide feedback