Document that the build works with Python 2 or 3

Change-Id: If824dc80e49a54e3255ebe12fba1ec2981a4d255
diff --git a/Documentation/dev-bazel.txt b/Documentation/dev-bazel.txt
index a613103..45a6bfe 100644
--- a/Documentation/dev-bazel.txt
+++ b/Documentation/dev-bazel.txt
@@ -3,7 +3,7 @@
 [[installation]]
 == Installation
 
-You need to use Python 2, Java 8, and Node.js for building gerrit.
+You need to use Python (2 or 3), Java 8, and Node.js for building gerrit.
 
 You can install Bazel from the bazel.io:
 https://www.bazel.io/versions/master/docs/install.html