feat(cs): add tools section

.gitignore

@@ -1,6 +1,6 @@
 # Generated site and pinned toolchain
 public/
-tools/
+/tools/
 
 # Calepin build artifacts
 .calepin/

site/calepin.toml

@@ -63,6 +63,10 @@ item = [
     { target = "cs/index.typ" },
     { glob = "cs/*" }
 ]
+section = [
+    { title = "Tools", item = [{ glob = "cs/tools/*.typ" }] }
+]
+
 
 
 [[sidebar.section]]