chore: Use pre-release version of mdbook-katex

Due to a new version of `mdbook` (v0.5) and various downstream problems
with `mdbook-katex`, pin the version of `mdbook-katex` to an alpha
version.

Author: jan-ferdinand

.github/workflows/deploy.yml

@@ -30,8 +30,7 @@ jobs:
       - name: Install mdBook
         run: |
           cargo install mdbook
-          cargo install mdbook-katex
-          cargo install mdbook-linkcheck
+          cargo install mdbook-katex@0.10.0-alpha # https://github.com/lzanini/mdbook-katex/issues/130
 
       - name: Fetch Triton VM repository
         uses: actions/checkout@v4