Update Verible to latest upstream

Verible is providing lint and formatting tooling and is evolving
rapidly in response to OpenTitan requirements.

It is an optional productivity tool; developers are recommended to have
it installed to run lint and early/experimental formatting on their own
machine. Lint is also done in CI.

Update Verible to the latest upstream version to unblock other work,
e.g. #4613 and to include recent lint improvements.

Signed-off-by: Philipp Wagner <phw@lowrisc.org>
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index c2b0f9b..3493f46 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -13,7 +13,7 @@
   VERILATOR_VERSION: 4.104
   OPENOCD_VERSION: 0.11.0
   TOOLCHAIN_PATH: /opt/buildcache/riscv
-  VERIBLE_VERSION: v0.0-808-g1e17daa
+  VERIBLE_VERSION: v0.0-1213-g9e5c085
   # Release tag from https://github.com/lowRISC/lowrisc-toolchains/releases
   TOOLCHAIN_VERSION: 20210412-1
   # This controls where builds happen, and gets picked up by build_consts.sh.
diff --git a/tool_requirements.py b/tool_requirements.py
index cef4c24..6d3ebe6 100644
--- a/tool_requirements.py
+++ b/tool_requirements.py
@@ -25,7 +25,7 @@
         'as_needed': True
     },
     'verible': {
-        'min_version': 'v0.0-808-g1e17daa',
+        'min_version': 'v0.0-1213-g9e5c085',
         'as_needed': True
     },
     'vcs': {