[MAP]: Port command-line tools to Python

[tturocy]

After discussion, we have agreed that from 17.0, the command-line interfaces for solving games will be written in Python, as opposed to the current C++ wrappers. This will enable much easier maintenance (by using for example click for command-line argument parsing; proper, robust CSV reading; and ease of formatting outputs, including outputs in more machine-readable formats like JSON).

Tasks

• GUI to use threads for long-running calculations rather than external binaries (so we do not have to worry about Python dependency if we don't want to)
• Generate Windows .EXE as part of the build/distribution process for binaries.