Improve behavior of indent-region
Improve behavior of indent-region

TAB and S-TAB now behave symmetrically when indenting a region.

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