Add an option to skip loading the library

Set the system property 'yices.skipAutoloader' to 'true' if the binary has already been preloaded

Author: daniel-raffler

src/main/java/com/sri/yices/Yices.java

@@ -13,7 +13,10 @@ public final class Yices {
      */
     static {
         try {
-            System.loadLibrary("yices2java");
+            String skip = System.getProperty("yices.skipAutoloader", "false");
+            if (!Boolean.parseBoolean(skip)) {
+              System.loadLibrary("yices2java");
+            }
             init();
             is_ready = true;
         } catch (LinkageError e) {