update HACL to 1b30697fc2b0d8d5e2f541eccfd3fb52b45b905c

[coveralls]

Pull Request Test Coverage Report for Build 6481771568

• 174 of 383 (45.43%) changed or added relevant lines in 20 files are covered.
• 1 unchanged line in 1 file lost coverage.
• Overall coverage decreased (-0.02%) to 52.818%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/EverCrypt_Hash.c	1	2	50.0%
src/Hacl_Chacha20_Vec128.c	1	2	50.0%
src/Hacl_Chacha20_Vec256.c	1	2	50.0%
src/Hacl_Frodo_KEM.c	0	1	0.0%
src/Hacl_Hash_SHA3.c	2	3	66.67%
src/Hacl_Streaming_Poly1305_256.c	0	1	0.0%
src/Hacl_FFDHE.c	0	3	0.0%
src/EverCrypt_DRBG.c	0	4	0.0%
src/EverCrypt_Poly1305.c	0	7	0.0%
src/EverCrypt_AEAD.c	83	272	30.51%
<!--	Total:	174	383	45.43%	-->

Files with Coverage Reduction	New Missed Lines	%
src/EverCrypt_AutoConfig2.c	1	91.78%
<!--	Total:	1		-->

Totals
Change from base Build 6325086327:	-0.02%
Covered Lines:	29050
Relevant Lines:	55000

---

💛 - Coveralls