Add in some Sourcegraph badges

[skip ci]