Difficulty-based ELO and cleaner matchmaking

What changed

• Ranked ELO moved to a difficulty-based model with asymmetric gains and losses, so harder problems move rating more.
• Matchmaking now pairs players by rating alone instead of by tag or category preferences.
• ELO history charts let players watch their rating move over time.