updating the version of FStar on the new fstar-version.json file
updating the version of FStar on the new fstar-version.json file

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