Add Sourcegraph Button to GitHub

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

Versión del día 13/2/2020. Echa un vistazo a la versión más reciente.