Add Sourcegraph badge