Add the libcrux crate to use a more trusted ml-kem implementation

[Nichokas]

We should integrate the libcrux crate into the repository to adopt a more trusted Kyber (ML-KEM) implementation. This will enhance the cryptographic reliability and trustworthiness of the system.