Simplify build workflow

[s-zanella]

• 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.

[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! Getting this unified would be great.
But running this fails for me right now because it's trying to find the default_config.h

hacl-packages\tools\configure.py", line 154, in __init__
    shutil.copyfile(
  File "C:\Python312\Lib\shutil.py", line 260, in copyfile
    with open(src, 'rb') as fsrc:
         ^^^^^^^^^^^^^^^
FileNotFoundError: [Errno 2] No such file or directory: 'config\\default_config.h'

[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.

[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.

[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.

[s-zanella]

Thanks! Getting this unified would be great. But running this fails for me right now because it's trying to find the default_config.h

hacl-packages\tools\configure.py", line 154, in __init__
    shutil.copyfile(
  File "C:\Python312\Lib\shutil.py", line 260, in copyfile
    with open(src, 'rb') as fsrc:
         ^^^^^^^^^^^^^^^
FileNotFoundError: [Errno 2] No such file or directory: 'config\\default_config.h'

Thanks! I hadn't tested the configuration script. I restored config/default_config.h.

[franziskuskiefer]

Thanks, this looks good. We have to figure out the CI failures, then we can get this in.

[franziskuskiefer]

Oh, no idea why I closed this. That wasn't intentional.
But looks like the branch is gone?

[s-zanella]

Oh, no idea why I closed this. That wasn't intentional. But looks like the branch is gone?

No worries. This was opened against protz_all_kyber_variants which got deleted after another merge. I reopened it against dev as #469