We used to output 0 and 1, but "spin -f" does not under understand
that.

* src/ltlvisit/tostring.cc (kw_spin): Output true and false instead of
0 and 1.