Regenerate original config

If the user messes up the configuration file, it is easy to regenerate it from the sqlite3 trace (i.e. without running the experiment again). A command-line option should be available to do that.