With -debug-invocation, start F* in the same directory as Emacs
With -debug-invocation, start F* in the same directory as Emacs

This is in order to properly interpret paths.

Fixes #93.

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