Version bump to 0.86

Author: kovzol

src/main/java/wprover/Version.java

@@ -3,8 +3,8 @@
 
 public class Version {
 
-    private static String sversion = "0.85";
-    private static String data = "2024-09-25";
+    private static String sversion = "0.86";
+    private static String data = "2024-11-26";
     private static String project = "Geometry Expert";
     private static float version = Float.parseFloat(sversion);