random acceptance condition

randaut should be able to generate random acceptance conditions, not just generalized Büchi

Maybe we could have

• --acc=random
• --acc=buchi (default)
• --acc=rabin
• ...

combined with -A/--acc-sets to specify the number of sets.