v6.2.1

Build tool upgrades and other various quality of life improvements

Modified subprojects (since v6.2.0):
cfa/cfa-cli
common/multi-tests
solver/solver-smtlib-cli
sts/sts-cli
xcfa/xcfa-cli
xsts/xsts-cli
xta/xta-cli