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