horn-concurrency version 2.1.1

• Clauses were not printed with -logSimplified and -logSimplifiedSMT options, this is now fixed.
• Add option to dump simplified clauses after Eldarica's default preprocessing.

Full Changelog: v2.1...v2.1.1

horn-concurrency version 2.1

horn-concurrency largely depends on Eldarica and will follow its releases with the same version numbers. This release follows Eldarica v2.1.