feat(ci): Add lychee and fix broken links (#110)

Closes #108

.github/workflows/ci.yml

@@ -38,6 +38,13 @@ jobs:
         sudo apt update
         sudo apt install souffle
 
+    - name: Check broken links
+      uses: lycheeverse/lychee-action@v1
+      with:
+        args: src/ test/ examples/ bin/ benchmarks/ scripts/ README.md RELEASE.md CONTRIBUTING.md HACKING.md
+        output: /tmp/lychee.txt
+        fail: true
+
     - name: Spellcheck code base
       run: |
         yarn spell

CONTRIBUTING.md

@@ -1 +1 @@
-See: https://nowarp.github.io/docs/misti/docs/hacking/contributing
+See: https://nowarp.github.io/tools/misti/docs/hacking/contributing

README.md

@@ -25,8 +25,8 @@ npx misti test/projects/simple/tactConfig.json
 * **Custom Detectors:** Create custom detectors to solve specific problems in your code or to provide a thorough security review if you are an auditor.
 
 ## Resources
-* [Misti Documentation](https://nowarp.github.io/docs/misti/) provides a detailed overview of the built-in detectors, the architecture of the analyzer, and developer documentation.
-* [Misti API Reference](https://nowarp.github.io/docs/misti/api) is useful if you are going to contribute or create your own detectors to streamline your audit.
+* [Misti Documentation](https://nowarp.github.io/tools/misti/) provides a detailed overview of the built-in detectors, the architecture of the analyzer, and developer documentation.
+* [Misti API Reference](https://nowarp.github.io/tools/misti/api) is useful if you are going to contribute or create your own detectors to streamline your audit.
 * [Misti Blueprint Plugin](https://github.com/nowarp/blueprint-misti) is a plugin for the Blueprint Framework that simplifies your workflow with Misti.
 
 ## Community