Update JavaSMT from 4.0.2 via v4.1.1 to v5.0.0

This is a major update of JavaSMT, including:

• two new SMT solvers (OpenSMT and Bitwuzla),
• several API changes.

This merge-request contains some smaller changes to CPAchecker to be reviewed, e.g., the usage of split-inequalities from formulas.

The assigned reviewers can include further people from the group as well, e.g., for learning purposes.