Add an option to log to a file

[aiman]

Add a --log FILE option to write log output to FILE. This is independent of the --verbose option, which prints log output to stderr.