Improve info about how to restart hived started by setup_haf_instance.sh script, after it gets shut down
Motivation: It is not clear how a hived run initiated by setup_haf_instance.sh should be relaunched after it is stopped by ctrl-c. For example, the config.ini doesn't contain the sql_serializer plugin or psql-url. There's a couple of potential options:
- when shutting down hived, it could also save command-line passed options to the config.ini file.
- script could create a config.ini file with the correct options (maybe it already does this if no config.ini already exists, but I guess that is not the case)
- we could try to somehow document the required options.
I think that 2 is probably the best solution, since it doesn't change current behavior of hived like option 1 does. I don't think option 3 is sufficient to address this problem.
With option 2, we still need to consider how to handle an existing config.ini file. Maybe we simply require existing config.ini to already contain all required options (e.g. sql_serializer plugin and psql-url).