0.7.2

Since 0.7.1:

• Default map pools updated
• Ready timer logic improved
• Fix bug breaking !tech pauses
• Fix some JSON parsing bugs
• Various translation updates
• More statistics have been added
• New commands: get5_addkickedplayer, get5_removekickedplayer
• get5_kick_when_no_match_loaded default switched to 0