Update HACL to 86a0aed822bd80b03e4810e23518181f0edec5f6

[franziskuskiefer]

• bump upstream HACL
• minor Rust updates
  • only rebuild on clean
  • v0.0.2 for first release

[coveralls]

Pull Request Test Coverage Report for Build 5247048998

• 11 of 13 (84.62%) changed or added relevant lines in 4 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage decreased (-0.002%) to 52.764%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/Hacl_Hash_SHA3.c	3	5	60.0%
<!--	Total:	11	13	84.62%	-->

Totals
Change from base Build 5144839464:	-0.002%
Covered Lines:	28938
Relevant Lines:	54844

---

💛 - Coveralls