random-dfa: Allow to output a single DFA in multiple formats

This is required to compare the running time of different
applications: Since the DFAs are generated randomly, we get a new one
each run and so we have to have a way of outputting multiple formats
in one run.