build: add mdbook and mdbook-alerts to devshell, build the book in the CI docs workflow

* for now add them to the devshell: something not working correctly with the
shell.nix for me, also a bit easier to just share the same env;
(however it's valuable to have a more fine-grained shell for the docs only)

* TODO: add deploy for the docs

Author: alehander92

ci/deploy/docs.sh

@@ -2,10 +2,18 @@
 
 set -e
 
-pushd  docs/experimental-documentation
+pushd docs/experimental-documentation/mdbook-ct
+
+# TODO: eventually: a more fine-grained nix shell/env?
+# nix-shell --command "mdbook build"
+
+# for now depending on global project devshell 
+mdbook build # build output is in the `book` directory
+
+# TODO: deploy book to codetracer.com ? ask Zahary?
 
 echo '###############################################################################'
-echo TODO
+echo "TODO upload book"
 echo '###############################################################################'
 
 popd

docs/experimental-documentation/mdbook-ct/shell.nix

@@ -0,0 +1,15 @@
+let
+  pkgs = import <nixpkgs> {};
+in
+  pkgs.mkShell {
+    buildInputs = with pkgs; [
+      bash
+      mdbook
+      mdbook-alerts     
+    ];
+    nativeBuildInputs = with pkgs; [
+      bash
+      mdbook
+      mdbook-alerts
+    ];
+  }

docs/experimental-documentation/shell.nix

@@ -3,15 +3,11 @@ let
 in
   pkgs.mkShell {
     buildInputs = with pkgs; [
-      bash
-      terser
-      pandoc
-      parallel
+      bash     
     ];
     nativeBuildInputs = with pkgs; [
       bash
-      terser
-      pandoc
-      parallel
+      mdbook
+      mdbook-alerts
     ];
   }

nix/shells/main.nix

@@ -96,6 +96,10 @@ in
         # a tool to help with binary files
         hexdump
 
+        # docs
+        mdbook
+        mdbook-alerts     
+  
         # cachix support
         cachix