add docs to website nav

website/data/docs_nav.yaml

@@ -41,6 +41,14 @@ sections:
         url: "/docs/shop/"
       - title: "CLI"
         url: "/docs/cli/"
+  - title: "Tools"
+    pages:
+      - title: "Testing"
+        url: "/docs/testing/"
+      - title: "Compiler Inspection"
+        url: "/docs/compiler-tools/"
+      - title: "Semantic Index"
+        url: "/docs/semantic-index/"
   - title: "C API"
     pages:
       - title: "C Modules"

website/data/spec_sections.yaml

@@ -35,3 +35,6 @@ sections:
   - title: "Wota Format"
     page: "/docs/wota/"
     id: "wota"
+  - title: "C Runtime"
+    page: "/docs/spec/c-runtime/"
+    id: "c-runtime"

website/data/tools_sections.yaml

@@ -15,3 +15,11 @@ sections:
     page: "/docs/testing/"
     id: "testing"
     group: "CLI"
+  - title: "Compiler Inspection"
+    page: "/docs/compiler-tools/"
+    id: "compiler-tools"
+    group: "Tools"
+  - title: "Semantic Index"
+    page: "/docs/semantic-index/"
+    id: "semantic-index"
+    group: "Tools"