Remove number of Opam jobs (to address #29)

dune

@@ -15,7 +15,7 @@
      vendor/cadical
      (progn
       (bash "CXXFLAGS=-fPIC ./configure")
-      (bash "make -j $(opam var jobs)")))
+      (run make)))
     (copy vendor/cadical/build/libcadical.a libcadical.a)
     (chdir
      vendor/libpoly
@@ -28,15 +28,15 @@
        -DCMAKE_INSTALL_PREFIX=$prefix)
       (chdir
        build
-       (bash "make -j $(opam var jobs)"))
+       (run make))
       (run mv include poly)))
     (copy vendor/libpoly/build/src/libpicpoly.a libpicpoly.a)
     (copy vendor/libpoly/build/src/libpicpolyxx.a libpicpolyxx.a)
     (chdir
      vendor/cvc5
      (progn
       (bash "./configure.sh --static")
-      (bash "make -C build -j $(opam var jobs)")))
+      (run make -C build)))
     (copy vendor/cvc5/build/src/libcvc5.a libcvc5.a)
     (copy vendor/cvc5/build/include/cvc5/cvc5_export.h cvc5_export.h)))))