Add script to build release documentation

The script builds a snapshot of the documentation, based on the state in the release branch.
Next, it rewrites all links to point to the versioned documentation for that release.
Finally, it creates an archive of all documentation files.

Closes #15686.

PiperOrigin-RevId: 460684222
Change-Id: Ic466e9e72cc862079f0551703fc2a16701888a2e
diff --git a/.bazelrc b/.bazelrc
index 3885564..f3d08f6 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -36,3 +36,5 @@
 
 # User-specific .bazelrc
 try-import user.bazelrc
+
+build:docs --workspace_status_command=scripts/docs/get_workspace_status.sh