CMake builds: support system-installed CaDiCaL #9478

Job	Run time
check-macos-11-make-clang	43m 26s
check-macos-12-cmake-clang	43m 30s
check-ubuntu-20_04-cmake-gcc	20m 44s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 38s
check-ubuntu-20_04-cmake-gcc-THOROUGH	8m 11s
check-ubuntu-20_04-make-clang	24m 51s
check-ubuntu-20_04-make-clang-smt-z3	3m 42s
check-ubuntu-20_04-make-gcc	15m 49s
check-ubuntu-22_04-cmake-gcc	20m 20s
check-ubuntu-22_04-cmake-gcc-13	18m 41s
check-ubuntu-22_04-cmake-gcc-32bit	19m 40s
check-ubuntu-22_04-make-clang	19m 29s
check-vs-2019-cmake-build-and-test	1h 5m 17s
check-docker-image	19m 36s
check-string-table	2m 35s
check-vs-2022-make-build-and-test	49m 6s
codecov-coverage-report	28m 13s
include-what-you-use	26m 12s
windows-msi-package	21m 38s
	7h 33m 38s

Provide feedback