[Git][cmucl/cmucl][master] Use https instead of git to clone trivial-pln