Engine: introduce official Session.Shutdown() method
Frontend-GNOME: use Session.Shutdown() in Frontend.Quit()