Hi,

This patch adds a new command

   set debug commandtrace

and a new option, '-v', to the existing 'source' command.

These features allow the user to see commands as they are executed. This 
is useful for debugging GDB scripts or just as a progress indicator.

The source command still permits file names with spaces, as it did 
before, so the -v must appear at either the beginning or the end.

Because the -x option is implemented by means of the source command the 
-x option gets -v as a sub-option 'for free'. I'm not sure if this is a 
bad thing or not - it certainly might be useful somewhere. It can be 
fixed, if necessary, by moving the guts of source_command() to another 
function.

When -v is given or commandtrace is enabled, each command is printed as 
it is executed prefixed with 'Command issued: '.

Andrew Stubbs