Remove INSTALL.md file obsolete on this branch; to be reinstated later
Remove INSTALL.md file obsolete on this branch; to be reinstated later

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