Hacl makefile: restore HMAC targets in main Makefile
Hacl makefile: restore HMAC targets in main Makefile

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