cryptominisat soname bump

[Jerry James]

In about a week, I plan to update the cryptominisat package to version
5.11.15 in Rawhide, which comes with an soname bump.  We have been
stuck on version 5.8.0 for a long time because some consuming packages
were not compatible with newer versions.  At last all of them are
ready for the update.  In addition to the cryptominisat package, I
will also rebuild:

- cvc5
- stp
- yices