remove an unused (and seemingly unpractical) class
use ApacheCommons directory copier instead
Updated the definition examples/alg/.
Merge pull request #51 from osa1/cleanup

remove an unused (and seemingly unpractical) class
editted NOTES
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.
Updated the interface to gappa.
Merge branch 'master' of https://github.com/kframework/k