Terminal

Builder currently has a very minimal terminal widget. We would like this widget to behave more closely to GNOME Terminal.

Goals

• Use profile/styling from GNOME Terminal
• Support searching though terminal buffer
• Better keyboard interaction with Builder shortcuts