lib/sh/util.sh: to_file(): removed no longer needed separate logging of >$stdout, which is now done by command()