Mod tools: revoke a time in any level

[makitalo]

Currently times can't be marked as cheated/unaccepted through the site.

If it's a single time, revoking should do the following:

• if it's player's best time, replace the time in besttime with their second best time (or remove it if that's the only finish)
  • if lev has legacy times enabled, do the same for legacybesttime
• remove the time from allfinished
• set Finished = X in time
• remove the time from battletime if it was driven during a battle
• add a mod log entry saying whose time on which lev was revoked, why, and by whom

Or if it's a multi time:

• set Finished = X in multitime
• remove the time from battletime if it was driven during a battle
• add a mod log entry saying whose time on which lev was revoked, why, and by whom

[j-masci]

There's level stats table too to think about it time is a top 10 or was record at some point. All stats can be regenerated for a single level, which is easy for some levels but could be a problem for some ints maybe. There isn't too many features that would be affected if time is left in level stats.