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/pgm-init.txt

diff --git a/Documentation/pgm-init.txt b/Documentation/pgm-init.txt
index 8e48b30..78e2e33 100644
--- a/Documentation/pgm-init.txt
+++ b/Documentation/pgm-init.txt
@@ -7,13 +7,14 @@
 
 SYNOPSIS
 --------
-[verse]
+--
 'java' -jar gerrit.war 'init'
 	-d <SITE_PATH>
 	[\--batch]
 	[\--no-auto-start]
 	[\--list-plugins]
 	[\--install-plugin=<PLUGIN_NAME>]
+--
 
 DESCRIPTION
 -----------