Update HACL code

[coveralls]

Pull Request Test Coverage Report for Build 3630578027

• 1657 of 2588 (64.03%) changed or added relevant lines in 21 files are covered.
• 117 unchanged lines in 7 files lost coverage.
• Overall coverage increased (+1.8%) to 55.936%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/Hacl_Frodo1344.c	0	3	0.0%
src/Hacl_Frodo640.c	0	3	0.0%
src/Hacl_Frodo976.c	0	3	0.0%
src/Hacl_Ed25519.c	158	164	96.34%
src/Hacl_HMAC_DRBG.c	0	8	0.0%
src/Hacl_Streaming_Blake2.c	105	128	82.03%
src/Hacl_Bignum.c	11	42	26.19%
src/Hacl_Streaming_Blake2b_256.c	38	70	54.29%
src/Hacl_K256_ECDSA.c	490	537	91.25%
src/Hacl_Streaming_Blake2s_128.c	0	58	0.0%
<!--	Total:	1657	2588	64.03%	-->

Files with Coverage Reduction	New Missed Lines	%
src/Hacl_Streaming_SHA2.c	1	92.15%
src/Hacl_SHA2_Vec128.c	2	0%
src/Hacl_Bignum.c	3	59.93%
src/Hacl_SHA2_Vec256.c	4	0%
src/Hacl_Streaming_Blake2b_256.c	4	59.74%
src/Hacl_Streaming_Blake2.c	10	88.07%
src/Hacl_K256_ECDSA.c	93	86.09%
<!--	Total:	117		-->

Totals
Change from base Build 3628444674:	1.8%
Covered Lines:	33736
Relevant Lines:	60312

---

💛 - Coveralls