Fix extraction by marking some definitions in Hacl.Streaming.SHA2 as inline_for_extraction
Fix extraction by marking some definitions in Hacl.Streaming.SHA2 as
inline_for_extraction

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star