mlkem c all versions

[franziskuskiefer]

On this branch we split the C code extraction such that we have individual modules for all key sizes and platforms.

Because we can only extract for the host platform right now, only the portable and avx2 C code is working.

• avx2 and portable C code in libcrux-ml-kem/c
• CI for the C code (tests and benchmarks)