cbmc: remove `cmake` compiler designation. (#85799)
cbmc: remove `cmake` compiler designation. (#85799)

* cbmc: remove `cmake` compiler designation.

We now have incorporated this as part of an upstream change to make
compilation on osX more straightforward, so this is now redundant.

* cbmc: clean up

Co-authored-by: Dawid Dziurla <c4a7db180859322ef5630a1dfc2805b5bc97fc25@gmail.com>
filcab/homebrew-core,uyjulian/homebrew-core,cblecker/homebrew-core,Homebrew/homebrew-core,cblecker/homebrew-core,makigumo/homebrew-core,zyedidia/homebrew-core,sjackman/homebrew-core,nbari/homebrew-core,Homebrew/homebrew-core,nandub/homebrew-core,stgraber/homebrew-core,chrisfinazzo/homebrew-core,mfikes/homebrew-core,Moisan/homebrew-core,adam-moss/homebrew-core,nbari/homebrew-core,chrisfinazzo/homebrew-core,zyedidia/homebrew-core,Moisan/homebrew-core,nandub/homebrew-core,adam-moss/homebrew-core,filcab/homebrew-core,sjackman/homebrew-core,uyjulian/homebrew-core,mfikes/homebrew-core,stgraber/homebrew-core,lemzwerg/homebrew-core,makigumo/homebrew-core,lemzwerg/homebrew-core