Guake Drop Down Terminal

Guake is a drop-down terminal for GNOME Desktop Environment, so you just
need to press a key to invoke him, and press again to hide.
Guake supports hotkeys, tabs, background transparent, etc.