Pattern export formats (GIF, MP4, PNG sequence)

[mbreiser]

Summary

The web Pattern Editor and 3D viewer cannot export pattern visualizations. Add export functionality.

Requested Formats

• GIF — Animated GIF of pattern playback (Icon Generator already has GIF support via gif.js that could be reused)
• MP4 — Video export for presentations
• PNG sequence — Individual frames for post-processing

Where to add

• Pattern Editor — export from grid view or 3D view
• Arena 3D Viewer — export rotating visualization
• Icon Generator — already has GIF export, could add MP4/PNG

Implementation Notes

• Icon Generator's gif.js integration can serve as a reference
• Consider frame rate and resolution options
• Include pattern metadata (name, arena, generation) in filename or overlay