Drop ripgrep from scip-examples
#432
+0
−9
Merged
ripgrep from scip-examples
#432