python: add some parity-game bindings

* python/spot/impl.i: Process game.hh.
* spot/misc/game.cc, spot/misc/game.hh: Make the output of
parity_game_solve() a solved_game object for easier manipulation in
Python.
* bin/ltlsynt.cc: Adjust usage.
* tests/python/paritygame.ipynb: New file.
* tests/Makefile.am, doc/org/tut.org: Add it.
* NEWS: Mention these bindings.
16 jobs for next in 569 minutes and 32 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed alpine-gcc #103705

00:57:51

passed arch-clang #103706

00:56:21

passed arch-gcc-glibcxxdebug #103707

02:25:19

passed debian-gcc-snapshot #103704

02:30:59

passed debian-stable-gcc #103702

01:01:29

passed debian-unstable-gcc-coverage #103703

01:50:15

90.6%
passed debpkg-stable #103758

03:22:01

passed debpkg-unstable #103770

03:34:29

passed mingw-shared #103708

00:11:46

passed mingw-static #103709

00:16:13

passed raspbian #103713
armv7

01:34:57

passed rpm-pkg #103712

01:25:55

failed debpkg-stable #103710

05:00:01

failed debpkg-unstable #103711

04:07:26

 
  Publish
passed publish-rpm #103714
dput

00:00:23

passed publish-unstable #103715
dput

00:01:37