Adding silver searcher and patching the old rakefile