Run Documentation formatting in parallel

AsciiDoc is slow. Run 8 forks in parallel, assuming most developers
building Gerrit need at least 4 cores to get through the GWT builds.

Change-Id: Icf1a244d528f91aa5b8fbc10aa905ce3b32a3535
1 file changed