Point CI to liboqs 0.12.0 and OpenSSL 3.4.0 #1251

Job	Run time
coding_style_tests / Coding style	1m 23s
aarch64 cross-compilation	7m 33s
Security checks	9m 15s
linux_baseline (ON)	5m 4s
linux_intel (openssl-3.4.0, ON)	7m 42s
linux_baseline (OFF)	5m 7s
linux_intel (openssl-3.4.0, OFF)	7m 45s
linux_baseline (-DOQS_KEM_ENCODERS=ON, ON)	5m 33s
linux_intel (master, ON)	7m 43s
linux_baseline (-DOQS_KEM_ENCODERS=ON, OFF)	5m 32s
linux_intel (master, OFF)	7m 45s
	1h 10m 22s

Provide feedback