shell: Don't use GtkBuilder for constructing the shell
So that we can more easily add GdHeaderBar in the following patches. Much of the advantage of using gtkbuilder was lost anyway because we couldn't really use it from glade without corrupting the file. https://bugzilla.gnome.org/show_bug.cgi?id=692174
shell/shell.ui
deleted
100644 → 0