Add support for writing verbose output to a file as well as stdout.