Upgrade: CryptoMiniSat 5.8.0

[slel]

This is to upgrade to CryptoMiniSat 5.8.0, released 2020-07-06.

Release notes for the versions since 5.6.8 (current in Sage):

== 5.8.0 ==

Massive new release! Many-many improvements:

• Gauss-Jordan elimination is enabled by default
• Target Phases ("Stable Polarities") are used
• CCAnr SLS solver is enabled and is set to work by default
• Hybrid variable branching heuristics
• Many-many speed improvements
• Better DIMACS parsing to work for other systems
• Made to work with new ApproxMC and UniGen

== 5.7.1 ==

• Removing LSIDS, as it was interfering with performance.

== 5.7.0 ==

• Improved parameters
• Hybrid branching strategies
• and much more

Previous upgrade:

• 27319: Upgrade to Cryptominisat 5.6.8 -- merged in Sage 8.9.beta2

CC: @mkoeppe @slel

Component: packages: optional

Keywords: upgrade, cryptominisat

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

[slel]

comment:1

Duplicate of #25374.