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