Add-function doesn't work on eldoc-documentation-function in Emacs < 25
Add-function doesn't work on eldoc-documentation-function in Emacs < 25

The default value is nil instead of ignore, which causes issues (GH-50).

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