Notification of changing reasoner

Currently, the debugger plug-in does not recognize if the reasoner is changed by the user. The user has to select the debugger's preferences, then the change is recognized