Add notification support for macOS and Windows (fixes GH-70)
Add notification support for macOS and Windows (fixes GH-70)

The macOS one depends on `alert'.

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