Update .gitignore
Update .gitignore

Co-Authored-By: Santiago Zanella-Beguelin <18f5fad0c1258dd0d877762952ad9129bcadb14f@users.noreply.github.com>
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