use ripgrep instead of grep

Author: lucarlig

.github/workflows/benchmarks.yaml

@@ -30,7 +30,7 @@ jobs:
           components: rustfmt, clippy
 
       - name: install prerequisites for c2rust
-        run: sudo apt install build-essential bc llvm jq grep libclang-dev cmake libssl-dev pkg-config python3 git clang bear -y
+        run: sudo apt install build-essential bc llvm jq ripgrep libclang-dev cmake libssl-dev pkg-config python3 git clang bear -y
 
       - name: install tokei
         run: cargo install tokei