Add Sourcegraph Button to GitHub

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

נכון ליום 18-06-2020. ראה הגרסה האחרונה.