Minor improvements to info-level log messages, and added a '-v'
command-line option (which currently is equivalent to --debug).
Also, show 'git' stderr output.