[Bug 1031134] Since upgrade to GNOME 3.24 [TW 20170322] gnome-shell crashes and reloads often