Strip out comments before sending to REPL
Strip out comments before sending to REPL

See https://github.com/FStarLang/FStar/issues/361

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el