Add Sourcegraph Button to GitHub

Add a 'Sourcrgraph' Button on GitHub repository & file page.

当前为 2019-11-11 提交的版本,查看 最新版本