Add Sourcegraph Button to GitHub

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

当前为 2020-06-18 提交的版本,查看 最新版本