Reopen/navigate back the Goals and the console buffers when navigating proofs in Emacs

[Alidra]

In Emacs, if the user closes the Goals and/or the Console buffers, or navigates to a different one, navigating the proofs should reopen/navigate back to these buffers to make it possible for the user to see the corresponding information (goals and logs)