New Upstream Release - cryptominisat

Nothing to do for cryptominisat

A new upstream version is available: 5.8.0