Kind 2 v1.7.0

This release includes several bug fixes and the following new features:

• Support for new SMT solver cvc5.
• A revamp of Kind 2's proof production facility.

Please refer to the CHANGES file for a more detailed description and to the user documentation for more details.

The Linux and macOS binaries available here are statically linked to the ZeroMQ library.