mathlib3

feat(tactic/rcases): transport the `cases h : e` syntax to `rcases`

#1611

Merged