A first-cut at a --log-file=FILE option.