Code style
Added Player and slightly modified Army

Armies now know their owners. Also we no longer have the using Player = int, nor
the same for Orientation.