web: leaderboard

[SveaGaenzle]

I have tried to create a basic leaderboard for the web.

Issue:

• resolves Generate simple HTML page with game statistics/leaderboard #46

Description:

• I added getAllUsers and getRankedUsers to the sqlite.data file.
• getAllUsers returns all users from the database.
• getRankedUsers ranks all users according to the highest (mu-sigma) value.
• I have added the file _dashboard.leaderboard.tsx to display the leaderboard.
• I have added to the _dashboard.leaderboard.tsx in the loader that the array with the ranked users and the logged-in user is loaded. The ranked users and the username of the logged-in user are returned.
• The Leaderboard in _dashboard.leaderboard.tsx dislays a table (the leaderboad). The table has the columns Ranking and Username and is filled with the array users. The row corresponding to the logged-in user is colored blue. I used this layout from MUI for the leaderboard.
• The leaderboard can display either 5, 10, 25, 50 or all users (default is 10). This can be changed using buttons at the bottom of the table. You can also switch between the individual pages using the buttons at the bottom of the table.

TODO:

• Show the ranking of the logged-in user on Home.

[PacoSchatz]

Thanks for your work. And good, that you changed it to sort the users now by the lower confidence bound. In my browser it looks great.

When testing it in Firefox emulating a mobile phone the table is still quite wide. This is no dealbreaker for me but neither it's perfect.

[SveaGaenzle]

I have tried to implement your suggestion.
You can now see the ranking and the usernames at the same time.
However, I did not get the navigation bar smaller, which is why you still have to scroll, wehn you whant to switch pages.

[PacoSchatz]

nice change. I definitely like this layout much more 👍

[Cari1111]

Thanks for the implementation of the leaderboard. I tested all the new features and everything works correctly.