Fallback to parent buffer's F* process to jump to definition
Fallback to parent buffer's F* process to jump to definition

If no parent buffer is set, use any live F* process.
Closes GH-97.


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