Created a PR to mention tools using SCIP in the README. https://github.com/sourcegraph/scip/pull/101