Remove the Opera title bar

The title bar in Gnome 3 is redundant: a waste of valuable space on modern wide screen monitors.

Gnome 3 applications will eventually lose it: the Gnome browser Epiphany already has.

Opera users can get rid of it by right clicking on the tab bar and unchecking "Show border", as described on My Opera.