Python port of card/strategy game Mravenci