Adding FStar base docker file that will be used by new CI workflow.
Adding FStar base docker file that will be used by new CI workflow.

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