feat(ocaml-globe): dim Earth when coverage is active, spotlight effect
Earth.draw now takes ?dim parameter (0.0–1.0) to control base
brightness. When orbits+coverage are shown, Earth renders at ~20-25%
brightness. Coverage additive blending then lights up the areas under
satellite footprints back to full brightness — only visible parts of
the Earth glow, everything else stays dark.
The visual flow:
1. Dim Earth dots (u_dim uniform in fragment shader)
2. Grid overlay (unaffected)
3. Coverage filled triangles (additive blend brightens underlying dots)
4. Net result: dark globe with bright spotlights under each satellite