Score: MO pravidla - zjednoznačnění pořadí neúspěšných řešitelů

Dva řešitelé se stejnými body a stejným jménem předtím vyvolávali chybu,
i když nebyli mezi úspěšnými řešiteli. Přidáním user_id se zjednoznační.

mo/score.py

@@ -355,8 +355,8 @@ class Score:
                     # Primárně podle počtu získaných bodů, sekundárně podle bodů od maxima, terciárně podle bodů od nejobtížnější
                     result._order_key.extend((total_points, points_from_max, points_from_difficult))
                 else:
-                    # Neúspěšné řešitele třídíme podle počtu získaných bodů, sekundárně podle jména
-                    result._order_key.extend((total_points, result.user.name_sort_key()))
+                    # Neúspěšné řešitele třídíme podle počtu získaných bodů, sekundárně podle jména, jednoznačně podle user_id
+                    result._order_key.extend((total_points, result.user.name_sort_key(), result.user.user_id))
 
             # Otestujeme, jestli teď existují sdílená místa
             if not self._exists_same_order_key():