Updates to configuration and documentation on such

Man page and doc/config.md brought up to date. Config options for specifying a
log file and a specifying that logging should also go to stderr are added as
config/command line options.