Added sourcegraph badge