[Git][cmucl/cmucl] Pushed new branch rtoy-simplify-ci