Add optional leaderboard_name filter to admin show-stats#445

msaroufim merged 3 commits intomaingpu-mode/kernelbot:mainfrom

admin-stats-leaderboard-filtergpu-mode/kernelbot:admin-stats-leaderboard-filterCopy head branch name to clipboard