Add basic cSpell config

.cspell.json

@@ -0,0 +1,23 @@
+{
+  "$schema": "https://raw.githubusercontent.com/streetsidesoftware/cspell/main/cspell.schema.json",
+  "version": "0.2",
+  "language": "en",
+  "ignorePaths": [
+    "/.cache/",
+    "/build/",
+    "/doc/book/book/",
+    "/target/",
+    "/.project-words.txt",
+    "*.svg",
+  ],
+  "dictionaryDefinitions": [
+    {
+      "name": "project-words",
+      "path": "./.project-words.txt",
+      "addWords": true
+    }
+  ],
+  "dictionaries": [
+    "project-words"
+  ],
+}

.project-words.txt

@@ -0,0 +1,35 @@
+alloc
+arity
+BDD
+binop
+cofactor
+cofactors
+CUDD
+DDDMP
+DIMACS
+Dubslaff
+fieldless
+Hermanns
+Holger
+Husung
+intsec
+Köhl
+Miri
+MTBDD
+NAND
+OxiDD
+pointee
+RAII
+realloc
+repr
+rustc
+Rustonomicon
+satisfiability
+subtrait
+subtraits
+TACAS
+uninit
+wakeups
+ZBDD
+ZDDs
+ZSDDs