lib/sh/util.sh: $top_dir_orig: renamed to $top_symlink_dir since this reflects better what the dir actually represents, and when it differs from $top_dir

lib/sh/make.sh: make(): fixed func name in usage

bin/make: don't print make cmd by default, so that only `make` output is printed at verbosity 1

bin/make: don't reinvoke make() if the make filter has already been set up, as indicated by $is_outermost (instead, invoke make directly using exec)

lib/sh/util.sh: added $is_outermost, which stores whether the util.sh env has not yet set up

lib/sh/util.sh: echo_redirs_cmd(): added $cmd_name_log_inc kw param to allow echoing the command name at a different log_level than the command output

lib/sh/make.sh: make(): log the filter setup operations at log_level 2 so they do not clutter up normal output

lib/sh/util.sh: filter_fd: alias-expand filter_cmd

added bin/make, which runs make, hiding verbose messages about making included Makefiles. this should be used in preference to plain make, to avoid excessive log messages that prevent the user from seeing the core commands that are being run.

lib/sh/util.sh: added no_PATH_recursion(), which allows running a system command of the same name as the script