[Git][cmucl/cmucl][master] Update trivial-package-local-nicknames repo name