modify slime and sbcl doc.