Better AI and performance

Improved AI: bots used to have one fixed strategy, each with one (mostly) fixed tactic. Now a strategy determines a tendency to pick a tactic, but this can also be overridden by game phase factors. For example, almost always, a bot will now try to reconnect before applying his favourite tactic. The game phase also influences this: a bot that is the last standing player will be less passive.

Improved performance: dice rolls and attacks do not generate "global updates" anymore. The visual is derived from smaller events that were already sent. Less drawing, more snappiness.