DIMA converter: increment galaxy version and run jq_all_the_things

[adulau]

Motivation

• Ensure the generated DIMA galaxy records a proper version that increments on each regeneration instead of being hard-coded, and make sure formatting/normalization (jq_all_the_things) is executed automatically after generation.

Description

• Update tools/gen_dima.py so build_galaxy accepts a version parameter and the generator reads the existing galaxies/dima-techniques.json version (if present) and writes current_version + 1.
• Add an automatic call to ./jq_all_the_things.sh at the end of the generator to apply formatting/normalization.
• Regenerated outputs: galaxies/dima-techniques.json and clusters/dima-techniques.json were updated to reflect the new version and formatting.

Testing

• Ran python3 -m py_compile tools/gen_dima.py which succeeded without syntax errors.
• Ran python3 tools/gen_dima.py which completed successfully and executed ./jq_all_the_things.sh (formatting/validation ran as part of the run) with no errors reported.

---

Codex Task