Make battles between armies at war

[guillaume-alvarez]

At the moment armies are pretty useless: they just act as secondary sources. It makes wars pretty boring. This should be improved by letting armies have a larger influence when actual combat takes place, like it does in reality with the great conquerors of old.

When two warring armies stand on neighbouring tiles at the end of turn the smallest one should be destroyed. The victorious army power is reduced from the defeated influence on the tile and added to the victor influence on the same tile. An army symbol appears on the tile and a notification is issued to both involved parties.

Warring armies are armies

• from empires at war with each other
• armies from different empires both one empire tile (entering an other empire tiles is an act of war even if formal War was not discovered)

When an army neighbours a warring empire capital, the capital influence on its tile is reduced by the army power.

Both these new mechanisms should help submit enemy cities.