improve bindings for counterexample output

This is ugly:

   res = spot.couvreur99(automaton).check()
   if res:
        run = res.accepting_run()
        s = spot.ostringstream()
        spot.print_tgba_run(s, run)
        print(s.str())

tgba is a relic. Using ostringstream is not Pythonic.