Standard GNOME terminal application.

Enhancements
============
- Make all terminal windows be group leaders; this will change the way grouping is done by window-managers, closer to what people expect (hopefully).
- Match news: URIs, and recognize more mailto: ones.
- Add --full-screen
- Cleanups and leaks fixed from Alexey Spiridonov, Kjartan Maraas.
- Fixed a couple of hotkey clashes, caught by Damian Keogh.
- Set accessible descriptions correctly on the profile dialog; caught by Frances Keenan.
- Translation updates: Miloslav Trmac (cs), Martin Willemoes Hansen (da), Adam Weinberger (en_CA), Christophe Merlet (RedFox) (fr), Mohammad DAMT (id), Young-Ho Cha (ko), Kjartan Maraas (nb), Kjartan Maraas (no).