--output option

autfilt and other automata-producing tools should support an option like --output=FILENAMEFORMAT to bin automata from a stream into different files. For instance --output=aut-%s.hoa should put all automata with 2 states in aut-2.hoa, all automata with 3 states in aut-3.hoa, etc.