StringPrinterRec does not depend on KreMLin, so add it to CI
StringPrinterRec does not depend on KreMLin, so add it to CI

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar