add sourcegraph badge