Add Sourcegraph link and badges