fix python bindings for spot::parsed_formula::f getter

* python/spot/impl.i: Add a typemap.
* tests/python/ltlsimple.py: Add a test case for an issue.
* NEWS: Mention the bug.
9 jobs for master in 150 minutes and 55 seconds (queued for 2 seconds)