Configurable logging.

New config options 'log-file' and 'log-level' determine where logs
go and how quiet/noisy they are.