Document `iRewrite -...` in the proof mode docs.

This commit closes issue #192.
7 jobs for master in 10 minutes and 52 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #21775
fp
build-coq.8.7.1

00:05:09

passed #21774
fp
build-coq.8.7.2

00:05:04

passed #21773
fp-timing
build-coq.8.8.0

00:04:49

passed #21772
fp
build-coq.8.8.1

00:05:33

passed #21771
fp
build-coq.8.8.2

00:05:39

passed #21770
fp-timing
build-coq.8.9.dev

00:05:34

passed #21769
fp
build-coq.dev

00:07:40