Kind 2 v1.1.0

In addition to several internal changes, many improvements and some bug fixes, this release includes the following new functionalities:

• docker integration, see Kind 2's docker page
• support for Scade 6 automata and arrays
• arithmetic (integer and real) invariant generation
• logging of strengthening invariants on safe systems (experimental)

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