Quote command strings in verbose output

Quoted command strings in verbose output can now be cut and pasted to
command prompt (cut and paste may not work for some commands in Windows).