Support `iIntros "ipat" (x1 .. xn) "ipat".

This makes it easier to frame or introduce some modalities before introducing
universal quantifiers.
1 job for master in 2 minutes and 56 seconds
Status Job ID Name Coverage
  Test
passed iris-coq8.6 #3108
fp-timing

00:02:56