Patch 3.9.1 with stable release

This patch (on default branch) contains a lot of user submitted and internal bug fixes, making gameplay a lot smoother, friends bot option is currently removed and later will be available again with Multiplayer Co-Op enabled.