Fixed : Unable to run graphical debugger using symbolic backend #431

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