guake - a drop-down terminal - View it on GitHub