File psl-1983/3-1/util/mini.build from the latest check-in

in "mini-support-patch.red"$
in "mini-support.red"$
in "mini-support.fix"$
global '(PNAM);
in "mini.sl"$