fixed debugger symbolic backend issue by getting the KRun object from main class
- added KRun as parameter to gui controller
- get KRun from main class when continuing execution from a state