Slime has move to github officially from 2014-01-03.
Merge pull request #1503 from xiaohanyu/fix-slime-repo-url

Slime has move to github officially from 2014-01-03.