Mention SBCL and CCL.  fixes #1