gh-99108: Refresh HACL*

[msprotz]

There have been a few important upstream changes in HACL* that I'd like to bring in, and hopefully backport to the 3.12 branch.

• Reorganization of files: all of the files are now named Hacl_Hash_XXX
• Suitable error codes for return values, which enhances code quality
• Performance improvements for SHA2 (see Improve and beat previous perf on the sha2 streaming work by bundling everything together hacl-star/hacl-star#819)
• Fix for SHA3 on 32-bit platforms

FYI SHA3 is also being integrated into NSS as we speak, hence the active upstream development on making things better.

• Issue: Replace built-in hashlib with verified implementations from HACL* #99108

[msprotz]

@gpshead let me know if you'd like a NEWS entry or not. Thanks!

[gpshead]

I'd still add a NEWS entry as it is an observable change and a potential bugfix: Something like Refresh our new HACL* built-in :mod:`hashlib` code from upstream. Built-in SHA2 should be faster and an issue with SHA3 on 32-bit platforms is fixed.

[miss-islington]

Thanks @msprotz for the PR, and @gpshead for merging it 🌮🎉.. I'm working now to backport this PR to: 3.12.
🐍🍒⛏🤖

[bedevere-bot]

GH-104893 is a backport of this pull request to the 3.12 branch.