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