Made warning about unsupported patterns in JRE hidden.
Refactored OS detection mechanism.
Towards explicitly mentioning whether junit reporting is desired in ktest.
Manually loading z3 dependent library upon startup.
Merge branch 'master' of https://github.com/kframework/k
Loading z3 manually upon first usage.
Replacing libz3 for x64 with fresly built ones.
z3 for linux32