Release v1.5.4

• Convert old rank strings
• Preserve player playtime across bot restarts
• Fix map stats not being stored correctly
• Fix database performance issues due to old stupid DB design
• Add score
• Allow force start timer for administrators
• Add per-lobby double time configuration
• Add !mplink
• Remove mention of online star rating
• Attempt to automatically abort stuck matches
• Increase 'queue position restore' timeout
• Add leaderboard announcements
• Add 'ping once match finished' feature
• Database work to allow for better map statistics