lib/util.sh: added echo_run_extern (), which automatically runs log_stderr to capture the external command's stderr