[cmucl-cvs] CMUCL commit: src/tools (make-extra-dist.sh)