slime: try and make sure we build slime.info

Previous recipe was building contributors.texi rather than slime.texi.
Merge pull request #2179 from luismbo/maybe-fix-manual-build-in-slime-recpie

slime: try and make sure we build slime.info