execute_cmd.h: externally export the_printed_command global variable

Author: radhermit

execute_cmd.h

@@ -62,6 +62,7 @@ extern int sourcenest, sourcenest_max;
 extern int stdin_redir;
 extern int line_number_for_err_trap;
 
+extern char *the_printed_command;
 extern char *the_printed_command_except_trap;
 extern COMMAND *currently_executing_command;