Compare: grouped bar chart with model logos (3 sub-benchmarks on x-axis)

Compare: use real brand logo images on bar tops

Fix Gradio 6.0 API: move theme to launch(), bind 0.0.0.0:7860

Add Gradio leaderboard app with 5 tabs (overview, 3 sub-benches, compare)