picking kremlin.h upstream changes from https://github.com/FStarLang/kremlin/pull/82
picking kremlin.h upstream changes from https://github.com/FStarLang/kremlin/pull/82

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