This patch adds pantheon-terminal, a terminal emulator with tabs and
some nice friendly features.