Merge branch Mario/invasion_types (M merge request)
Adds a "type" parameter to invasion's mapinfo, allowing changing the type of invasion (endless waves, clear the map, reach the end etc).
Adds a "type" parameter to invasion's mapinfo, allowing changing the type of invasion (endless waves, clear the map, reach the end etc).