added definitions to kremlib.h to get rid of FStar.h when using native uint128
added definitions to kremlib.h to get rid of FStar.h when using native uint128

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin