* bin/ltlfilt.cc: Remove SBAcc option as rabin_to_buchi_maybe() works with transition-based acceptance as well.