coq: fix backslash escaping in documentation.

We want to output "\\.v$" so we need to write "\\\\.v$".

Closes #28693.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>