r4: AI upgrade, workshop improvements

Hi everyone! BOID Update 4 (r4 for short) is now live. It adds significant improvements to the AI and now you can play against bots on any map - even a user map. There is a complex algorithm behind the AI, and we'd love to get some feedback on it.

Building upon the workshop integration, Mokus also added a thumbs up/down button after user-made map matches.

Full update log

• First version of AI that can play on any map created

• Chat history added

• Play with bots menu changed

• Thumbs up/down added to rematch screen

• Opponent name added to the game interface

• Venom Valley map changed

• Possibility to test map against bot added to the map editor

• Crash while typing chat message fixed

• Map building crash fixed

• Wrong score calculation on network outage fixed

• Various memory leaks fixed

• AI performance fixed, moved to a separate thread

• Crash while connecting to opponent fixed

• Crash while updating subscribed map fixed

• Bug with illegal characters in map name fixed

• Crash when canceling invitation fixed

• Outlined ground in map editor fixed

• Triangulation changed from Farseer to Triangle.net

• Undo-Redo crash fixed in map editor

• Possible duplicates in my maps and subscribed maps fixed

• Crash when deleting map fixed

• Rally points behaviour fixed

• Esc button behaviour while typing chat message fixed

• Behaviour of group bindings fixed

Let us know what you think about the update in the comments below!