slime: try and make sure we build slime.info

Previous recipe was building contributors.texi rather than slime.texi.