remove hkcd backend
Fixing supercool issue.
Merge branch 'master' of https://github.com/kframework/k
Seems I overopetimized again...
Merge pull request #55 from osa1/hkcdnomore

remove hkcd backend. We can always come back to it later if needed.
Fixed .../krun/Main.java in order to work with the graphical debugger amd
and added helkp text for debugger in documentation/ref-manual.k
Merge branch 'master' of git://github.com/kframework/k

 be ignored, and an empty message aborts
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
Started to rearrange the tutorial
Moved all tutorial into tutorial/k
Moved SIMPLE from examples to tutorial/languages
Moved KOOL, FUN, and LOGIK from examples to tutorial/languages
Updated the tests and config.xml to account for the recent changes in the folder structure