Main.hs

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.