Remove overview and highlights section

Clean up leaderboard copy and model display names

Simplify by-query-type leaderboard view

Update percent-in-SE metric and keep google-search on main board

Increase page side margins

Refine main board scope and move generated timestamp

Initialize SourceBench leaderboard Space