Simplify CMUCL setup

The ASDF bundled with CMUCL is fine. The issues I was seeing were due to
the cl-asdf package installed in my local Ubuntu system.
Minor cosmetic improvement