Add Sourcegraph Button to GitHub

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

Versione datata 18/06/2020. Vedi la nuova versione l'ultima versione.