mathlib3

9daa1a57 - feat(tactic/clear_except): clear most of the assumptions in context (#957)