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
diff --git a/Documentation/pgm-prolog-shell.txt b/Documentation/pgm-prolog-shell.txt
index 7b273f5..850ee74 100644
--- a/Documentation/pgm-prolog-shell.txt
+++ b/Documentation/pgm-prolog-shell.txt
@@ -7,8 +7,9 @@
 
 SYNOPSIS
 --------
-[verse]
+--
 'java' -jar gerrit.war 'prolog-shell' [-s FILE.pl ...]
+--
 
 DESCRIPTION
 -----------