A lightweight drop down terminal using GTK+3