Add tactics `destruct select <pat>` and `destruct select <pat> as <intro_pat>`.

These tactics are consistent with existing tactics like revert select and rename select.