Restore Makefile target for Spec.HPKE.CFRG
Restore Makefile target for Spec.HPKE.CFRG

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