doc: document how to get flat html doc files

The documentation instructs to use:

  bazel build Documentation:searchfree

Which results in a zip file one has to extract before browsing. I did it
with an inotify hook but that is cumbersome.  Instead one can just call
the parent target `Documentation` which does not zip files:

  bazel build Documentation
  xdg-open bazel-out/Documentation/index.html

It is probably obvious to everyone, but might be a barrier of entry
toward adding more documentation.

Also specify the `withdocs` target is to build the Gerrit WAR.

Change-Id: If950229cb88b4b88f00a79ff1e5ae0885930c856
diff --git a/Documentation/dev-bazel.txt b/Documentation/dev-bazel.txt
index 96cc67f..188c38f 100644
--- a/Documentation/dev-bazel.txt
+++ b/Documentation/dev-bazel.txt
@@ -275,7 +275,15 @@
   bazel-bin/Documentation/searchfree.zip
 ----
 
-To build the executable WAR with the documentation included:
+To generate HTML files skipping the zip archiving:
+
+----
+  bazel build Documentation
+----
+
+And open `bazel-bin/Documentation/index.html`.
+
+To build the Gerrit executable WAR with the documentation included:
 
 ----
   bazel build withdocs