add sourcegraph badges