update JavaSMT's Yices2 component to latest version.

Author: kfriedberger

lib/ivy.xml

@@ -165,8 +165,8 @@ SPDX-License-Identifier: Apache-2.0
         <dependency org="org.sosy_lab" name="javasmt-solver-boolector" rev="3.2.2-g1a89c229" conf="runtime-boolector->solver-boolector" />
 
         <!-- additional JavaSMT components with Solver Binaries -->
-        <dependency org="org.sosy_lab" name="javasmt-yices2" rev="3.12.0" conf="runtime-yices2->runtime; contrib->sources" />
-        <!-- <dependency org="org.sosy_lab" name="javasmt-solver-yices2" rev="2.6.2-89-g0f77dc4b" conf="runtime-yices2->solver-yices2" /> -->
+        <dependency org="org.sosy_lab" name="javasmt-yices2" rev="4.0.1" conf="runtime-yices2->runtime; contrib->sources" />
+        <!-- <dependency org="org.sosy_lab" name="javasmt-solver-yices2" rev="2.6.2-396-g194350c1" conf="runtime-yices2->solver-yices2" /> -->
 
         <!-- Several JARs declare animal-sniffer-annotations.jar as dependency in their manifest although they do not really need it.
              As long as this is the case we need to provide the JAR, otherwise javac complains. -->