Short Game option

Adds a short game lobby and map option. 

The short game is basically what we already had, players need only destroy an enemy's base buildings to win. In a "long" game, they need to destroy (almost) all enemy units to win. The exception are cloaked units and buildings (that is, those that are cloaked by default, not upgraded ones), which are not taken into account.

Also fixes #6589.
That is actually 1 tab that replaced 4 spaces.