Remove user token

The server and leaderboard no longer use clients' user tokens, so we can stop generating and sending them.