Add config_save option.
Use the config_save option.

The side effect of optionalizing this is that now the save
is done outside/after the options parsing.  This behavior
probably makes more sense anyway, since this way loading
of possibly several config files gets a single timestamp.