internal renaming in Nitpick and fixed Kodkodi invokation on Linux; renamed Nitpick's ML structures from NitpickXxx to Nitpick_Xxx and added KODKODI_JAVA_LIBRARY_PATH to LD_LIBRARY_PATH before invoking Kodkodi

merged

merged

made Nitpick aware of the KODKODI_JAVA_LIBRARY_PATH, for detecting and properly invoking JNI-based SAT solvers

more thread-safe access to global refs;

avoid structure alias;

comment;

non-critical output -- ship message in one piece;

ProofContext.setmp_verbose_CRITICAL;

non-critical atomic accesses;