remove some debugging code

(it can be brought back from version control, if needed)
New option --purify-triggers.  Refactoring of InstMatchGenerator.
Fix Win32 builds.
Fix build rule.
Theory::check() called only if there are facts to check