Fix backslash escaping in documentation.

We want to output "\\.v$" so we need to write "\\\\.v$".
coq: add 8.4pl3 bottle.