profile: Move the terminal bell above the text settings

https://bugzilla.gnome.org/show_bug.cgi?id=724110
profile: Change the font selection UI according to latest designs

The checkbutton and font button are now on the same row, and the
semantics of the checkbutton has been inverted.

https://bugzilla.gnome.org/show_bug.cgi?id=724110
profile: Move the bold and wrap settings above the font button

https://bugzilla.gnome.org/show_bug.cgi?id=724110
profile: Add a heading for the text settings

https://bugzilla.gnome.org/show_bug.cgi?id=724110
profile: Remove empty space at the top of the General tab

... by making the GtkTable expand and fill.

https://bugzilla.gnome.org/show_bug.cgi?id=724110
profile: Don't dim the columns and rows labels

https://bugzilla.gnome.org/show_bug.cgi?id=724110
profile: Add a mnemonic for resetting the size

https://bugzilla.gnome.org/show_bug.cgi?id=724110