Add a facility to highlight single strings
Add a facility to highlight single strings

This uses a temporary F* buffer, reused across calls for performance.

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