Fix GIF animation (base64 embed for Gradio 5.x); add summary.md to gitignore

Upgrade to Gradio 5.25 (fixes Python 3.13 pydub/audioop incompatibility)

Add pyaudioop for Python 3.13 compatibility (pydub audioop replacement)

Remove gradio from requirements — HF Spaces manages it

Fix HF Space short_description length

Initial implementation of minimum-violation LTL planner