Drop Down Terminal extension for the Gnome Shell