[Git][cmucl/cmucl][master] Use correct path for git clone.