factor automata output code in bin
autfilt, randaut, ltl2tgba, and dstar2tgba all implement a set of options to output the automaton in some format. Presently updating these options, for instance chaning --dot to accept an optional argument, is a pain because it has to be done in all of these tools.
We should move all the relevant code into some common_aoutput.cc file. The difficultly is that the set of output options varies slightly between tools.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information