[Git][cmucl/cmucl][master] 2 commits: Update docstring for REQUIRE