User shouldn't have to manually select Goal panel to see navigated goals

[Alidra]

In Vscode, if the Goal panel looses focus (typically, because user selected another panel in the second column) Goals are updated in this panel when the user navigates them in the .lp file but he can't see them unless clicking on this panel to bring it in front again.

The user shouldn't have to do this. Instead, focus should be given back to the Goals panel to bring it to the front as soon as the user navigates goals.