Add all variants of kyber to hacl-packages, with compilation and all

[msprotz]

This PR contains a smorgasbord of improvements, namely in support of compiling all Kyber variants.

• Refresh the code with Libcrux optimize decap libcrux#257
• Fixup a variety of things in config/default_config_msvc.{cmake,h}
• Same deal with the non-msvc configs to support multiple files
• Refresh kyber code with latest Eurydice improvements to generate for-loops when applicable
• Refresh bundled copy of google benchmark owing to an issue that breaks the clang build on windows
• Silence more MSVC compiler warnings with updated version of fstar_uint128_msvc.h
• Performance boost (16%): do not constantly query evercrypt autoconfig init on a hot-path
• Improve the glue all over to support 512 and 1024 variants
• A script to eventually provide a standalone package of kyber for consumption downstream. In the long run, I would like this to be a CI artifact completely reproducible that people can download off of github.

[coveralls]

Pull Request Test Coverage Report for Build 8977766250

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 59.064%

---

Totals
Change from base Build 8723980584:	0.0%
Covered Lines:	38622
Relevant Lines:	65390

---

💛 - Coveralls

[franziskuskiefer]

Thanks, let's get it in.

[franziskuskiefer]

It looks like #464 was the same branch and got closed because this got merged 🤔