Simplify build workflow

[s-zanella]

This was automatically closed as part of another merge (cf. #464). Re-opening after rebasing on dev.

• Use CMake presets to unify multi-config builds with Ninja using MSVC and Clang. Works on VS, VS code, and CLI.
• Document how to install dependencies on Windows using winget.
• Let CMake generate appropriate config.h files instead of manually copying default configs for MSVC and Clang.

[cla-bot]

We require contributors to sign our Contributor License Agreement https://github.com/cryspen/hacl/blob/main/CLA.md ensuring that the contribution can be licensed under Apache 2.0 and MIT. In order for us to review and merge your code, please mention @cryspen/core in a comment below to get yourself added.

[coveralls]

Pull Request Test Coverage Report for Build 9158340974

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 9096505835:	0.0%
Covered Lines:	38622
Relevant Lines:	65390

---

💛 - Coveralls

[cla-bot]

We require contributors to sign our Contributor License Agreement https://github.com/cryspen/hacl/blob/main/CLA.md ensuring that the contribution can be licensed under Apache 2.0 and MIT. In order for us to review and merge your code, please mention @cryspen/core in a comment below to get yourself added.

[franziskuskiefer]

Thanks, let's finally get this in.

[coveralls]

Pull Request Test Coverage Report for Build 9609869829

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 9609866152:	0.0%
Covered Lines:	38622
Relevant Lines:	65390

---

💛 - Coveralls