Makefile: set ulimit for fsharp-regressions
Makefile: set ulimit for fsharp-regressions

As this is known to not work in Linux otherwise.

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