feat(julia): final 6 extractors reach S1 target of 50 (44→50 named)

Kissat/DIMACS CNF, Athena, Frama-C/ACSL, Essence Prime, Albatross,
generic HOL (delegates to HOL Light). Rocq added as Coq alias in
router. S1 sprint item complete.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath