Merge branch 'master' of ssh://sbcl.git.sourceforge.net/gitroot/sbcl/sbcl