[Git][cmucl/cmucl][issue-156-take-2-nan-comparison] Update CI with new name for bootstrap file.