add Sourcegraph plugin
Merge pull request #3512 from sourcegraph/master

Add Sourcegraph