Refactoring mintermization to MintermizationDomain

[martinhruska]

This PR indtroduces the following changes:

• Mintermization is now parametrized by a template defining mintermization domain, so called MintermizationDomain.
• Creates the data structure BDDDomain which encapsulates BDDs and is an example for the possible future domains for mintermization.
• Refactor algorithms to work over this domain.
• Removes AFA from mintermization.

[codecov]

Codecov Report

Attention: 31 lines in your changes are missing coverage. Please review.

Comparison is base (5143cde) 71.70% compared to head (eac2b49) 73.16%.
Report is 46 commits behind head on devel.

Additional details and impacted files

@@            Coverage Diff             @@
##            devel     #355      +/-   ##
==========================================
+ Coverage   71.70%   73.16%   +1.45%     
==========================================
  Files          30       32       +2     
  Lines        3644     3536     -108     
  Branches      843      805      -38     
==========================================
- Hits         2613     2587      -26     
+ Misses        736      649      -87     
- Partials      295      300       +5     

Files	Coverage Δ
include/mata/parser/bdd-domain.hh	100.00% <100.00%> (ø)
include/mata/parser/inter-aut.hh	89.74% <100.00%> (ø)
src/bdd-domain.cc	100.00% <100.00%> (ø)
src/mintermization.cc	0.00% <ø> (-34.56%)	⬇️
src/parser.cc	82.06% <100.00%> (ø)
src/inter-aut.cc	65.16% <90.90%> (+0.31%)	⬆️
include/mata/parser/mintermization.hh	66.66% <66.26%> (+41.66%)	⬆️

... and 7 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Adda0]

The changes look good to me overall. @kilohsakul Is this what you envisioned?

[Adda0]

When the PR is finished, @tfiedor or I will fix the binding before merging the PR.