randaut: add a --colored option
This should produce automata in which every transition (or every state when using state-based acceptance) belong to exactly one acceptance set.
--colored
should report an error if no acceptance sets have been defined.