Version 0.20.0 released

Second release this weekend! It's mostly a bug-fix release, hence the short cycle. The changes are:

• Fixed a bug where the game would not react to a player disconnecting
• Fixed multiple announcements playing at the same time
• Fixed the game not working with some mesa graphics drivers on Linux

Enjoy! Any feedback is always welcome!