Allow licenses for new charon transitive dependencies

Add Apache-2.0 WITH LLVM-exception to the global allow list for
ar_archive_writer. Add MPL-2.0 exceptions for brownstone, colored,
indent_write, and nom-supreme, all pulled in transitively through
charon v0.1.67.

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>

Author: feliperodri

deny.toml

@@ -16,13 +16,19 @@ yanked = "deny"
 allow = [
     "MIT",
     "Apache-2.0",
+    "Apache-2.0 WITH LLVM-exception",
     "Unicode-3.0",
 ]
 confidence-threshold = 0.8
 
 # All these exceptions should probably appear in: tools/build-kani/license-notes.txt
 exceptions = [
     { name = "foldhash", allow=["Zlib"] },
+    # Transitive dependencies via charon (LLBC backend)
+    { name = "brownstone", allow=["MPL-2.0"] },
+    { name = "colored", allow=["MPL-2.0"] },
+    { name = "indent_write", allow=["MPL-2.0"] },
+    { name = "nom-supreme", allow=["MPL-2.0"] },
 ]
 
 [licenses.private]