factor automata output code in bin
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.