Add sourcegraph badges