Makefile update to run HMAC_SHA2_{384,512} and SHA2 and HMAC agiles
Makefile update to run HMAC_SHA2_{384,512} and SHA2 and HMAC agiles

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