Remove a bunch of noextract that had no raison d'être
Remove a bunch of noextract that had no raison d'être

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