shell: support for multiple GUI (non-batch) commands, move GUI refresh from wrc_main to the shell code