Level indicator for all users

[wcjord]

We want to display a user's level for other users. For now, we're just going to add it to their displayname directly. Once we can add arbitrary values to a user profile, we'll revisit the display and storage of level.

To do so, we need to:

1. determine level based on construct uses

• this is already being done in the user_summary_analytics_row

2. whenever the level positively* changes (local calculation yields a higher number than what is in the displayname), send level to user profile saved in 'displayname'. I believe this can happen in user_summary_analytics_row.dart but want to be careful the call isn't duplicated with refresh or something.

• append their level to displayname like this

displayname = chosenDisplayName + "   ⭐" + numericLevel

• make a function get user level from displayname, probably in the client extensions, maybe in User/Profile. Get the number after the last star in the username. Use the last star to prevent a crafty student from inserting a new level.

3. hide in-chat notification for change of displayname because it will happen too frequently in large rooms

4. when a user goes to edit their displayname, search for the last " ⭐" (3 whitespaces in front of the star) and hide everything after it in the edit field. after they click done, re-append and send.

Alternatively, could do a flag: