Added multiple armies and linear formations

Initial deployment is now linear, then blue moves to establish
hedgehogs. Refactored a bit of the code for multi-armies, and to make
things more flexible. On the plus side, defining units is now as simple
as "BlueUnitList [5 5 5 10 20 7 2]". The allocater will assign soldiers
properly.