Add libcrux kyber #1178

Job	Run time
macos (gcc, 64)	1s
windows (32)	2m 7s
macos (gcc, 64, aarch64-apple-ios)	1s
linux (gcc, 32)	19s
android (aarch64-linux-android)	3m 47s
windows (64)	2m 10s
macos (gcc, 64, aarch64-apple-darwin)	1s
linux (gcc, 64)	8s
windows (64, --msvc)	1m 56s
macos (clang, 64)	1m 27s
linux (clang, 32)	1m 19s
macos (clang, 64, aarch64-apple-ios)	1s
linux (clang, 64)	1m 1s
macos (clang, 64, aarch64-apple-darwin)	1m 6s
default	1m 10s
s390x-gcc	1m 58s
	18m 32s

Provide feedback