#1087 Ensure that standard output and standard error from fstar.exe are passed to msbuild
#1087 Ensure that standard output and standard error from fstar.exe are passed to msbuild

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar