0.2.0

This release removes redundant prefixes from enum names in generated bindings, e.g. BitwuzlaBVBase_BITWUZLA_BV_BASE_BIN becomes simply BITWUZLA_BV_BASE_BIN. This is an API-breaking change.

Thanks to @Mrmaxmeier for the contribution!