[Slime-devel] SLIME 2.5 released