Relax overlay retraction criterion
Relax overlay retraction criterion

It doesn't matter whether F* is running a query when retracting an overlay — all
that matters is that it isn't busy running a push.

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