Write (some of the) command line options to a configuration file.

This allows to later review how the command was run, and more importantly
editing the configuration file (via new commands, not implemented yet) and
signal the already running pgcopydb to dynamically apply new settings.