Tabbed terminals

Elementary introduction of tabbed terminals.
In your hypothetical scenario. Instead of arguing on github, I'll go amend the commit like you asked, and then come back to delegates if necessary.