Added Sourcegraph badge (I know, I know ...)