Add basic drop-down functionality

With this patch gnome-terminal starts anchored to the top-left corner
of the screen, filling all available horizontal space and half of the
available vertical space.

Pressing the F12 key shows or hides the terminal itself, which sits
(frameless) above other windows on all desktops.