fixed cuttoff issue for wide leaderboards, made leaderboard data updating asynchronous, made streamlit set the url to match the selected dataset

added metric sort orders, added feature to display all metrics at the same time

first commit