readme: Remove section about Cygwin paths in -prover-args docs
readme: Remove section about Cygwin paths in -prover-args docs

F* now does that automatically

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