0.4.3

This is again a minor version with enhancements for Biodivine library maintainers. There are only two relevant changes, one of them is potentially breaking, but does not require code changes, only build file update.

• Features supported through z3 are now optional and not enabled by default. Use feature flag solver-z3 to enable them. That is: biodivine-lib-param-bn = { version = ">=0.4.3, <1.0.0", features = ["solver-z3"] }. This change was added to allow compiling lib-param-bn for targets/environments where Z3 is not available. Example of this are standalone binaries that do not use Z3 features and do not wish to depend on Z3. Another example is WASM, where Z3 is theoretically supported, but not in a way that we can use here right now).
• Adds official support for structured annotations in .aeon files. This allows us to add arbitrary key-value annotations with some level of hierarchy that can be safely parsed by lib-param-bn (i.e. avoiding adding new ad hoc rules like we did in the original AEON client). See #40 or the associated tutorial for more info about syntax and capabilities.