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
send KRun object as constructor argument when loading a configuration
Merge pull request #432 from daniel-ionut-vicol/master

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