Trac #33162: Fix installation of cryptominisat and pycryptosat

pycryptosat is meant to be installed as a part of cryptominisat,
but it does not happen.

This is because it's installing the Python module in SAGE_ROOT/local/
From the log:

{{{
-- Found python interpreter, libs and header files
-- Building python interface
-- Python CFLAGS:  '-Wno-unused-result -Wsign-compare -DNDEBUG -g
-fwrapv -O2 -Wall -g -ffile-prefix-
map=/build/python3.9-RNBry6/python3.9-3.9.2=.  -fstack-protector-strong
-Wformat -Werror=format-security  -g -fwrapv -O2   '
-- Python LDFLAGS: '-lcrypt -lpthread -ldl  -lutil -lm'
-- Python LINKFORSHARED flags: '-Xlinker -export-dynamic -Wl,-O1 -Wl
,-Bsymbolic-functions'
-- Python module will be installed to : '/home/dimpase/work/sage/local'
-- Configuring done
}}}

See
 https://groups.google.com/d/msgid/sage-
release/cc134257-34d8-4c26-8719-24a994dc42dan%40googlegroups.com

{{{
./sage --pip install pycryptosat
}}}
can be used as a workaround

URL: https://trac.sagemath.org/33162
Reported by: dimpase
Ticket author(s): Dima Pasechnik
Reviewer(s): Matthias Koeppe

Author: Release Manager

build/pkgs/configure/checksums.ini

@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=42f1d5451d5ca4ac9b63910c79a3bbd484ded985
-md5=feaaea79a5552392e9db393ead3607f8
-cksum=2071807402
+sha1=04ea0aba601daa81d8f840f8bab94a22d3c3744b
+md5=c83199b816e177cce63699cdf9787347
+cksum=411599226

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-8e7a22529e448b5c2ec9305e7cb8cc4f64b3618c
+b87c1e67b632d87df82a66cc0ae259d3a63b9ca8

build/pkgs/cryptominisat/spkg-install.in

@@ -3,3 +3,7 @@ cd src
 sdh_cmake -DUSE_GAUSS='ON' $EXTRA_OPTS
 sdh_make VERBOSE=ON
 sdh_make_install VERBOSE=ON
+
+cd pycryptosat
+
+sdh_pip_install .