completion: Ensure that RET on a complete candidate inserts a newline
completion: Ensure that RET on a complete candidate inserts a newline

Closes GH-67.

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