restoring emitting .fs files (fixing functionality lost in 31b76227329b0b0f6ae6e022038b78e7bd0240d0)
restoring emitting .fs files (fixing functionality lost in 31b76227329b0b0f6ae6e022038b78e7bd0240d0)

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar