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.
Not that I know of, but there are a lot of those cases in the upgrade rules, that's true.

BTW, I wouldn't mind amending that rule to state that blocks may only omit the brackets if no other blocks nested beneath it use brackets. Looks nicer to me.