[Git][cmucl/cmucl][master] 9 commits: Set tag for linux