Add sourcegraph badge