Migrate sourcegraph/scip dependency to scip-code/scip
#1281
+47
−430
sourcegraph/scip dependency to scip-code/scip
#1281