[slime-devel] Set *print-right-margin* depending on width of repl window (in slime-repl contrib)