STM: code restructured to reuse task queue for tactics
STM: Implementation of "all |n| :"
New test for "all |n| :"
Coqide: annoying popups with GTK errors only in debug mode