git-gui: Automatically reopen any console closed by the user.