logging: choose the log facility from the command line, or log to stderr