Restore extraction of Blake2s, now factored out the empty function
Restore extraction of Blake2s, now factored out the empty function

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