Add Gale, Spar, Rivet to org profile README

[avrabe]

Summary

• Promotes Gale as the foundation layer with its own section, showing how verified RTOS kernel primitives connect to the rest of the pipeline (Gale -> Kiln -> Synth -> deployment)
• Elevates Spar (AADL architecture) and Rivet (SDLC traceability) into a new Systems Engineering section alongside the WASM pipeline
• Updates the pipeline diagram to show the full stack: Spar models -> WASM pipeline -> Gale kernel, with Sigil and Rivet as cross-cutting concerns
• Adds all 8 ecosystem tools to the header nav (Gale, Kiln, Meld, Loom, Synth, Sigil, Spar, Rivet)
• Adds ASIL-D badge and updates tagline to reflect the broader scope beyond just WebAssembly
• Adds automator and thrum to Developer Tools section
• Adds AADL and Zephyr RTOS to the footer technologies

Key metrics mentioned: 9 verified kernel primitives, dual-track verification (Verus + Rocq), 271 Rivet-managed artifacts.

Test plan

• Verify the org profile renders correctly at https://github.com/pulseengine
• Confirm all repo links resolve to existing repositories
• Check badge rendering and table alignment on desktop and mobile

🤖 Generated with Claude Code