fix detection of prover + theorem languages so their source files contribute to the correct repo language totals instead of being omitted/misclassified when the bundled catalogue cant identify their source formats
also add missing format mappings + recognise Rocq/Coq proofs separately from Verilog and preserving existing detections + exclusions + scan limits and applying the same rules across all repos w/ reindexing required for cached summaries