Extract lint-robot from linting and move into a separate documentation page

Change-Id: I3045b07cbdef4d7b59c26736c8cfa1383215baaf
diff --git a/VERSION b/VERSION
index b6ddb73..ed5ed72 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-2.12.34
+2.12.35