.*.aux erased by make distclean
Dead code elimionation in reductionops
Fix output test-suite 'simpl tactic' -> 'reduction tactics'
test-suite: New names for vars but the expected invariant is preserved
test-suite: opaque term -> opaque proof
Fix bug 3245: 'simpl nomatch' argument annotation makes cbn go into an infinite loop.
Pos.compare_cont takes the comparison as first argument

Helps cbn tactic refolding