v3.13.15
gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237)
gh-99108: Refresh HACL* (#104808)
gh-99108: Replace SHA2-224 & 256 with verified code from HACL* (#99109)