update to HACL* 5c045cac1c48d555592ebbc86d55f1ec396adfbc

[franziskuskiefer]

Update to new HACL*, adding HKDF SHA384.

[coveralls]

Pull Request Test Coverage Report for Build 4132048118

• 0 of 42 (0.0%) changed or added relevant lines in 1 file are covered.
• 322 unchanged lines in 4 files lost coverage.
• Overall coverage decreased (-0.6%) to 53.044%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/Hacl_HKDF.c	0	42	0.0%

Files with Coverage Reduction	New Missed Lines	%
src/Hacl_Hash_Base.c	1	14.13%
src/EverCrypt_Curve25519.c	11	67.65%
src/EverCrypt_AutoConfig2.c	17	82.1%
src/Hacl_Curve25519_64.c	293	0%

Totals
Change from base Build 4114412109:	-0.6%
Covered Lines:	30231
Relevant Lines:	56992

---

💛 - Coveralls

[duesee]

Thanks! Could you also update docs/reference/hacl/kdf/index.md to reflect the addition of HKDF SHA-2 384? It should be enough to add another bullet point at the top and doxygenfunction-reference it in the body.

[duesee]

Thanks for making the changes. I opened #357 and #358 to track the addition of benchmarks and tests for HKDF-SHA2-384. But let's get this in first 👍