Adds Quake-style drop down terminal support to gnome-terminal (see `drop-down` branch).