Add Sourcegraph Button to GitHub

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

Från och med 2020-03-04. Se den senaste versionen.