add Sourcegraph badges