Don't emit commands multiple times
Don't emit commands multiple times

I'm not sure whether or not we want, this, though, since it did make
things easy to debug at https://github.com/coq/coq/pull/13269#issuecomment-853490149

JasonGross/coq-tools,JasonGross/coq-tools