Make cryptominisat an optional package

[sagetrac-tmonteil]

Cryptominisat was experimental since it did break Sage on 32bit architecture (see #19781). This has been fixed by #22817 and #22818, so let us make it optional again.

Depends on #22818

CC: @seblabbe

Component: packages: optional

Keywords: sdl

Author: Thierry Monteil

Branch/Commit: b223033

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/23219

[sagetrac-tmonteil]

Branch: u/tmonteil/make_cryptominisat_an_optional_package

[sagetrac-tmonteil]

Commit: b223033

[sagetrac-tmonteil]

Last 10 new commits:

be9db62	#22818 : move documentation of INPUT from `__init__` to the class, as suggested in [comment:34](#comment%3A34).
0566102	#22818 : pass options from SAT to CruptoMiniSat.
e382251	#22818 : remove useless import.
5236281	#22818 : comment 40.
6ed1c73	Merge branch 't/22818/interface_cryptominisat_5' into t/22817/package_cryptominisat_5
9593ce6	Merge
c9dd355	#22818 : comment 55.
c22de1d	#22818 : comment 59.
ce47403	Merge branch 'u/tmonteil/interface_cryptominisat_5' of trac.sagemath.org:sage into HEAD
b223033	#23219 : make cryptominisat an optional package.

[sagetrac-tmonteil]

Author: Thierry Monteil

[tscrim]

comment:4

Agreed.

[tscrim]

Reviewer: Travis Scrimshaw

[vbraun]

Changed branch from u/tmonteil/make_cryptominisat_an_optional_package to b223033

[sagetrac-tmonteil]

Changed keywords from none to sdl