add sourcegraph badge [skip ci]