Bypass the rendering differences in AsciiDoctor.

AsciiDoctor have different understanding of [verse] with asciidoc, causing some
rendering differences. To get similar result with asciidoc, we use something
else instead of [verse] now.

Screenshots:
before:
http://imgur.com/JKMdBiv
after:
http://imgur.com/yFVvVac

Change-Id: I14e84f0e998e1e87b633681e8028ad657bde07e4

Documentation/cmd-query.txt

@@ -7,7 +7,7 @@ gerrit query - Query the change database
 
 SYNOPSIS
 --------
-[verse]
+--
 'ssh' -p <port> <host> 'gerrit query'
   [--format {TEXT | JSON}]
   [--current-patch-set]
@@ -22,6 +22,7 @@ SYNOPSIS
   <query>
   [limit:<n>]
   [resume_sortkey:<sortKey>]
+--
 
 DESCRIPTION
 -----------