Remove line wraps from eldoc strings
Remove line wraps from eldoc strings

This prevents the echo area from growing to accommodate multi-line signatures.

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