readme: Fix references to z3-executable and clarify how to start F*
readme: Fix references to z3-executable and clarify how to start F*

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