fslit: Enhance docutils4fstar.register (handle nodes and transforms)
fslit: Enhance docutils4fstar.register (handle nodes and transforms)

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