Deploy compendium site

Workflow runs for Deploy compendium site

• remove the vendored dhall-c C oracle; u0_gate golden-mode + submodule…

  completed successfully:
  Deploy compendium site#5:Commita53f508pushedbyjmars
  main

  Aug 31, 202652s
  More actions for workflow run 5

• drop C oracle + wasm (U5); production is the Zig port

  completed successfully:
  Deploy compendium site#4:Commitd0cfa02pushedbyjmars
  main

  Aug 30, 202643s
  More actions for workflow run 4

• zig: migrate DNS engine from C11 to Zig (dhall-c seam, self-host targ…

  completed successfully:
  Deploy compendium site#3:Commit68e4274pushedbyjmars
  main

  Aug 23, 202646s
  More actions for workflow run 3

• build: replace Makefile with dhake (verified builds)

  completed successfully:
  Deploy compendium site#2:Commitd930333pushedbyjmars
  main

  Aug 21, 202644s
  More actions for workflow run 2

• site: re-platform docs onto fixpoint design components (mirror dhall-c)

  completed successfully:
  Deploy compendium site#1:Commitb44b0b1pushedbyjmars
  main

  Aug 21, 202640s
  More actions for workflow run 1