everest: disable rust tests in Pulse, ditch bindgen

These are anyway run by Pulse CI. Installing bindgen is not enough since
we need to augment the PATH in order to find it, and I don't think it's
worth it to get into this.

everest

@@ -622,7 +622,6 @@ OCAML
   else
       echo "... rust (cargo) found in PATH"
   fi
-  cargo install bindgen-cli
 
   # .NET 6.0 (needed to compile F* ulib/fs)
   if dotnet --list-sdks | grep '^6\.0\.' >/dev/null ; then
@@ -963,7 +962,7 @@ build_karamel () {
 }
 
 build_pulse () {
-  $MAKE -C pulse $make_opts
+  $MAKE -C pulse $make_opts PULSE_NO_RUST=1
 }
 
 build_steel () {
@@ -1042,7 +1041,7 @@ test_karamel () {
   LD_LIBRARY_PATH= $MAKE -C karamel/test $make_opts everything
 }
 test_pulse () {
-  $MAKE -C pulse test $make_opts
+  $MAKE -C pulse test $make_opts PULSE_NO_RUST=1
 }
 test_steel () {
   $MAKE -C steel test $make_opts