update to hacl 309736b87a124ad1bdc2dc34e7768568039639e5

[coveralls]

Pull Request Test Coverage Report for Build 6939781748

• 7720 of 16620 (46.45%) changed or added relevant lines in 81 files are covered.
• 71 unchanged lines in 24 files lost coverage.
• Overall coverage increased (+0.4%) to 53.169%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/Hacl_Frodo_KEM.c	0	1	0.0%
src/Hacl_Hash_Blake2.c	444	446	99.55%
src/EverCrypt_AutoConfig2.c	13	16	81.25%
src/EverCrypt_HKDF.c	75	78	96.15%
src/Hacl_Streaming_Poly1305_32.c	45	49	91.84%
src/Hacl_Streaming_Poly1305_128.c	51	56	91.07%
src/Hacl_Hash_SHA1.c	82	92	89.13%
src/Hacl_GenericField32.c	84	97	86.6%
src/Hacl_HKDF_Blake2b_256.c	0	13	0.0%
src/Hacl_HKDF_Blake2s_128.c	0	13	0.0%
<!--	Total:	7720	16620	46.45%	-->

Files with Coverage Reduction	New Missed Lines	%
src/EverCrypt_DRBG.c	1	15.15%
src/Hacl_GenericField64.c	1	86.46%
src/Hacl_K256_ECDSA.c	1	89.47%
src/Hacl_RSAPSS.c	1	85.87%
src/Hacl_Streaming_Poly1305_128.c	1	93.01%
src/EverCrypt_AEAD.c	2	28.55%
src/Hacl_Bignum32.c	2	8.84%
src/Hacl_Bignum64.c	2	8.84%
src/Hacl_SHA2_Vec128.c	2	0.0%
src/Hacl_Bignum4096_32.c	3	61.84%
<!--	Total:	71		-->

Totals
Change from base Build 6482173544:	0.4%
Covered Lines:	27624
Relevant Lines:	51955

---

💛 - Coveralls